Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Sound conformance testing for cyber-physical systems: Theory and implementation
Hugo Araujo
,
Gustavo Carvalho
,
Morteza Mohaqeqi
,
Mohammad Reza Mousavi
,
Augusto Sampaio
January 2018
Cite
DOI
URL
Type
Journal article
Publication
Science of Computer Programming
Related
Multi-objective Search for Effective Testing of Cyber-Physical Systems
Analytical Comparison of Refinement Checkers
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
Cite
×