CTL the language for describing core-based test.
Rohit KapurMaurice LousbergTony TaylorBrion L. KellerPaul ReuterDouglas KayPublished in: ITC (2001)
Keyphrases
- model checking
- programming language
- temporal logic
- natural language
- language learning
- databases
- linear temporal logic
- temporal properties
- statistical significance
- specification language
- test suite
- computation tree logic
- minimal change
- model theoretic
- english language
- operational semantics
- pattern languages
- statistical tests
- case study
- learning algorithm