Augusto Sampaio

Latest

• RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
• 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
• 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 Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Analytical Comparison of Refinement Checkers