A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker.
Arne-Michael TörselPublished in: ICST (2013)
Keyphrases
- model checker
- web applications
- formal verification
- model checking
- test suite
- domain specific
- modelling language
- formal methods
- description language
- symbolic model checking
- temporal logic
- test cases
- web services
- formal specification
- general purpose
- set theory
- end users
- domain independent
- formal semantics
- ai planning
- black box
- specification language
- planning domains
- databases
- database systems
- artificial intelligence
- learning algorithm