Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile.
Jan KrauseElke HintzeStephan MagnusChristian DiedrichPublished in: SAFECOMP (2012)
Keyphrases
- test generation
- symbolic execution
- test cases
- design automation
- test sequences
- static analysis
- quality assurance
- formal verification
- specification language
- software testing
- user profiles
- code coverage
- artificial intelligence
- mutation testing
- learning algorithm
- real world
- formal specification
- software systems
- high level
- information systems
- regression testing
- test data generation
- machine learning
- databases
- database