Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
2
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
CPN simulation-based test case generation from controlled natural-language requirements
Sound conformance testing for cyber-physical systems: Theory and implementation
Modelling timed reactive systems from natural-language requirements
NAT2TEST$_SCR$: Test case generation from natural language requirements based on SCR specifications
Cite
×