SMArDT modeling for automotive software testing.
Imke DraveSteffen HillemacherTimo GreifenbergStefan KriebelEvgeny KusmenkoMatthias MarkthalerPhilipp OrthKarin Samira SalmanJohannes RichenhagenBernhard RumpeChristoph SchulzeMichael von WencksternAndreas WortmannPublished in: Softw. Pract. Exp. (2019)
Keyphrases
- software testing
- test cases
- software development
- software engineering
- software reliability
- fault localization
- control flow
- test data generation
- regression testing
- test case generation
- quality assurance
- artificial intelligence
- labor intensive
- test suite
- software systems
- machine learning
- formal specification
- testing process
- information systems
- integration testing