Authors: COLBY C GODEFROID P JAGADEESAN LJ

Citation: C. Colby et al., AUTOMATICALLY CLOSING OPEN REACTIVE PROGRAMS, ACM SIGPLAN NOTICES, 33(5), 1998, pp. 345-357

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

Authors: GODEFROID P PELED D STASKAUSKAS M

Citation: P. Godefroid et al., USING PARTIAL-ORDER METHODS IN THE FORMAL VALIDATION OF INDUSTRIAL CONCURRENT PROGRAMS, IEEE transactions on software engineering, 22(7), 1996, pp. 496-507

Authors: GODEFROID P WOLPER P

Citation: P. Godefroid et P. Wolper, A PARTIAL APPROACH TO MODEL CHECKING, Information and computation, 110(2), 1994, pp. 305-326