Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
A Process for Sound Conformance Testing of Cyber-Physical Systems
H. Araujo
,
G. Carvalho
,
A. Sampaio
,
M. R. Mousavi
,
M. Taromirad
March 2017
Cite
DOI
URL
Type
Conference paper
Publication
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Related
Simulation of hybrid systems from natural-language requirements
Cite
×