Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.

Shaoying Liu Shin Nakajima

Published in: SOFL+MSVL (2013)

Keyphrases

provably correct
test case generation
theorem proving
test cases
formal verification
information systems
high level
data model
hidden markov models
real time
theorem prover
software testing
specification language
machine learning
linear logic
data mining
data sets