Login / Signup
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.
Patrice Godefroid
Robert S. Hanmer
Lalita Jategaonkar Jagadeesan
Published in:
Bell Labs Tech. J. (1998)
Keyphrases
</>
software testing
information systems
case study
cooperative
information technology
test set
quality assurance