Gustavo Carvalho

Latest

• A Systematic Mapping Study on Robotic Testing of Mobile Devices
• RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
• RoboWorld: Where Can My Robot Work?
• 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
• Multi-objective Search for Effective Testing of Cyber-Physical Systems
• Formal Modelling of Environment Restrictions from Natural-Language Requirements
• Sound conformance testing for cyber-physical systems: Theory and implementation
• FDR: From Theory to Industrial Application
• Modelling timed reactive systems from natural-language requirements
• Model Checking Requirements
• Test Case Generation from Natural Language Requirements Using CPN Simulation
• NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
• A Formal Model for Natural-Language Timed Requirements of Reactive Systems
• Model-Based Testing from Controlled Natural Language Requirements
• A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
• Test Case Generation from Natural Language Requirements Based on SCR Specifications
• A Formal Analysis of Concurrent Assembly Code based on CSP
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• An Analytical and Experimental Comparison of CSP Extensions and Tools
• Analytical Comparison of Refinement Checkers