Searching for "Korat automated testing based on Java predicates." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Korat: Automated testing based on Java predicates
by Rasekhar 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…
Cited by 177 (33 self) – Add To MetaCart

COVER FEATURE Programs That Test Themselves Bertrand Meyer, ETH Zurich and Eiffel Software
by Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Eth Zurich, Emmanuel Stapf, Eiffel Software
…, S. Khurshid, and D. Marinov, “Korat: Automated Testing Based on Java Predicates,” Proc. 2002 ACM…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB