Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach.
Yusuke AoyamaTakeru KuroiwaNoriyuki KushiroPublished in: APSEC (2018)
Keyphrases
- model checking
- formal verification
- temporal logic
- product line
- finite state
- reachability analysis
- model checker
- reactive systems
- symbolic model checking
- test cases
- formal methods
- verification method
- alternating time temporal logic
- case study
- transition systems
- concurrent systems
- epistemic logic
- petri net
- test set
- knowledge based systems