Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems.
Florian LorberPublished in: ICST (2015)
Keyphrases
- real time systems
- mutation testing
- test sequences
- real time
- distributed systems
- test generation
- timing constraints
- database applications
- mission critical
- test cases
- embedded systems
- real time database systems
- architectural model
- test suite
- anytime algorithms
- object oriented programming language
- testing process
- real time databases
- finite state machines
- video sequences
- integration testing
- decision trees
- real time embedded
- machine learning