Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach.

Yusuke Aoyama Takeru Kuroiwa Noriyuki Kushiro

Published 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