Authors: GODEFROID P HANMER RS JAGADEESAN LJ

Citation: P. Godefroid et al., SYSTEMATIC SOFTWARE TESTING USING VERISOFT - AN ANALYSIS OF THE 4ESS(TM) HEART-BEAT MONITOR, Bell Labs technical journal, 3(2), 1998, pp. 32-46