An empirical study of requirements-based test generation on an automobile control system.
Ruizhi GaoJeong Soo EoW. Eric WongXinwei GaoShou-Yu LeePublished in: SAC (2014)
Keyphrases
- test generation
- control system
- test cases
- symbolic execution
- test sequences
- static analysis
- design automation
- closed loop
- expert systems
- software testing
- quality assurance
- code coverage
- mutation testing
- fuzzy logic
- control strategy
- real time
- high level
- real environment
- image processing
- regression testing
- test suite
- fault diagnosis
- artificial intelligence
- machine learning