TTCN: Towards a Formal Semantics and Validation of Test Suites.
Finn KristoffersenThomas WalterPublished in: Comput. Networks ISDN Syst. (1996)
Keyphrases
- test suite
- formal semantics
- test cases
- test suite reduction
- model checker
- logical language
- test case generation
- mutation testing
- er model
- software testing
- operational semantics
- logical reasoning
- modeling language
- java programs
- first order logic
- formal language
- number of test cases
- test sequences
- theorem prover
- modelling language
- machine learning
- ontology languages
- test generation
- relational databases
- set of test cases
- artificial intelligence