Login / Signup
Research on generation of testing data in hybrid method of model checking and testing.
Huiqun Zhao
Lei Li
Published in:
ICIS (2014)
Keyphrases
</>
model checking
hybrid method
data sets
formal verification
temporal logic
state space
epistemic logic