Systematic software testing using VeriSoft—An analysis of the 4ESS™ heart-beat monitor
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar JagadeesanVolume:
3
Year:
1998
Language:
english
Pages:
15
DOI:
10.1002/bltj.2103
File:
PDF, 273 KB
english, 1998