Author Info
Name
Affiliation
Papers
GUSTAVO CARVALHO
Centro de Informática, Universidade Federal de Pernambuco, Recife, PE, Brazil
14
Collaborators
Citations 
PageRank 
24
48
6.13
Referers 
Referees 
References 
80
226
148
Search Limit
100226
Title
Citations
PageRank
Year
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.00.342021
CPN simulation-based test case generation from controlled natural-language requirements00.342019
Sound conformance testing for cyber-physical systems: Theory and implementation.20.362018
Formal Modelling of Environment Restrictions from Natural-Language Requirements.00.342018
Simulation Of Hybrid Systems From Natural-Language Requirements00.342017
Modelling timed reactive systems from natural-language requirements.20.412016
Test Case Generation from Natural Language Requirements Using CPN Simulation.10.382015
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP70.602015
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications.100.592014
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.20.392014
Test case generation from natural language requirements based on SCR specifications100.572013
Model-Based Testing from Controlled Natural Language Requirements.100.732013
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.40.422013
A process algebra based strategy for generating test vectors from SCR specifications00.342012