共 50 条
- [22] Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021), 2021, : 101 - 111
- [24] Automated test generation using model checking: an industrial evaluation International Journal on Software Tools for Technology Transfer, 2016, 18 : 335 - 353
- [30] Requirements Modeling and Automated Requirements-Based Test Generation SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2013, 6 (02): : 607 - 615