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: JAGADEESAN LJ VOTTA LG PORTER A PUCHOL C RAMMING JC

Citation: Lj. Jagadeesan et al., SPECIFICATION-BASED TESTING OF REACTIVE SOFTWARE - A CASE-STUDY IN TECHNOLOGY-TRANSFER, The Journal of systems and software, 40(3), 1998, pp. 249-262

Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J

Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389