Document Versions

Korat: Automated testing based on Java predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — IN PROC. INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA
Korat: Automated testing based on Java predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — IN PROC. INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA
Korat: Automated Testing Based on Java Predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — IN PROC. INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA
Korat: Automated Testing Based on Java Predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — IN PROC. INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA
Korat: Automated Testing Based on Java Predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002
Korat: Automated Testing Based on Java Predicates –Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — IN PROC. INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA
Korat: Automated Testing Based on Java Predicates –Chandrasekhar Boyapati, Rasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — In Proc. International Symposium on Software Testing and Analysis (ISSTA
Korat: Automated testing based on Java predicates –Rasekhar Boyapati, Sarfraz Khurshid, Darko Marinov — 2002 — In Proc. International Symposium on Software Testing and Analysis (ISSTA