Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles.
Moritz KlischatMatthias AlthoffPublished in: IV (2020)
Keyphrases
- formal specification
- software testing
- model checking
- specification languages
- object oriented design
- specification language
- formal methods
- real time
- reverse engineering
- process algebra
- concurrent systems
- test cases
- design methodology
- formal specification language
- database systems
- artificial intelligence
- software engineering
- case study