Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
Mercedes G. MerayoManuel NúñezPublished in: ICONS (2008)
Keyphrases
- test suite
- petri net
- finite state machines
- selection criteria
- evaluation criteria
- multi criteria
- test cases
- statistical tests
- timed automata
- formal specification
- databases
- relational databases
- knowledge base
- multiple choice
- first order logic
- markov chain
- database systems
- high level
- multiple criteria
- artificial intelligence
- genetic algorithm
- discrete event
- operational semantics
- delay insensitive
- real world