Automated testing of embedded automotive systems from requirement specification models.
Sebastian SieglKai-Steffen HielscherReinhard GermanChristian BergerPublished in: LATW (2011)
Keyphrases
- mathematical models
- reactive systems
- complex systems
- physical systems
- computational models
- statistical models
- biological systems
- management system
- knowledge based systems
- computer systems
- parameter estimation
- analytical models
- control system
- artificial intelligence
- uml models
- fully automated
- machine learning
- process model
- test cases
- building blocks
- intelligent systems
- probabilistic model
- decision trees
- search engine