![Search algorithms / Software testing / Java programming language / Java Modeling Language / Java platform / Korat / Linked list / KeY / Binary tree / Computing / Computer programming / Software engineering Search algorithms / Software testing / Java programming language / Java Modeling Language / Java platform / Korat / Linked list / KeY / Binary tree / Computing / Computer programming / Software engineering](https://www.pdfsearch.io/img/79d52b5eae45d1eacdb10947bf319774.jpg) Date: 2002-12-12 04:04:00Search algorithms Software testing Java programming language Java Modeling Language Java platform Korat Linked list KeY Binary tree Computing Computer programming Software engineering | | ACM International Symposium on Software Testing and Analysis (ISSTA), July[removed]Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz KhurAdd to Reading ListSource URL: web.eecs.umich.eduDownload Document from Source Website File Size: 121,76 KBShare Document on Facebook
|