Login / Signup

Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.

Patrice GodefroidRobert S. HanmerLalita Jategaonkar Jagadeesan
Published in: Bell Labs Tech. J. (1998)
Keyphrases
  • software testing
  • information systems
  • case study
  • cooperative
  • information technology
  • test set
  • quality assurance