A Systematic Mapping Study on Robotic Testing of Mobile Devices

RoboWorld: Where Can My Robot Work?

Multi-objective Search for Effective Testing of Cyber-Physical Systems

Formal Modelling of Environment Restrictions from Natural-Language Requirements

A Process for Sound Conformance Testing of Cyber-Physical Systems

Simulation of hybrid 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