Using Model Checking to Generate Test Cases for Android Applications.
Ana Rosario EspadaMaría-del-Mar GallardoAlberto SalmerónPedro MerinoPublished in: MBT (2015)
Keyphrases
- model checking
- test cases
- temporal logic
- model checker
- test suite
- regression testing
- formal verification
- test data
- temporal properties
- software testing
- formal specification
- symbolic model checking
- verification method
- test case generation
- automated verification
- number of test cases
- computation tree logic
- timed automata
- test generation
- model based testing
- test suite reduction
- formal methods
- epistemic logic
- test set
- transition systems
- test case selection
- concurrent systems
- finite state machines
- testing process
- bounded model checking
- object oriented
- case study
- linear temporal logic
- error rate
- multi agent
- artificial intelligence
- data sets