Login / Signup

Research on generation of testing data in hybrid method of model checking and testing.

Huiqun ZhaoLei Li
Published in: ICIS (2014)
Keyphrases
  • model checking
  • hybrid method
  • data sets
  • formal verification
  • temporal logic
  • state space
  • epistemic logic