Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests.

Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno

Browse the full FDL paper archive.