Login / Signup
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.
Shaoying Liu
Tetsuo Tamai
Shin Nakajima
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2011)
Keyphrases
</>
formal specification
software reliability
software testing
specification language
cooperative
model checking
databases
reverse engineering
object oriented design