An Implementation Framework for Optimizing Test Case Generation Using Model Checking.

Longhui Chang Huaikou Miao Gongzheng Lu

Published in: SOFL+MSVL (2014)

Keyphrases

model checking
temporal logic
artifact centric
abstract interpretation
ordered binary decision diagrams
formal methods
formal specification
formal verification
reachability analysis
case study
multi agent
open source
belief revision
reactive systems
test data generation
test case generation