Back to Results
First PageMeta Content
Search 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 Khur
Add to Reading List

Document Date: 2002-12-12 04:04:00

Open Document

File Size: 121,76 KB

Share Result on Facebook

City

Rome / /

Company

Korat / Darko Marinov MIT Laboratory / /

Country

Italy / /

Currency

USD / /

/

Event

Company Expansion / /

Facility

Square Cambridge / /

IndustryTerm

automatic tool / search starts / search pruning / search algorithm / software development / similar search / search space / search time / software testing / /

OperatingSystem

Linux / /

Organization

National Science Foundation / MIT / /

Person

Michael Ernst / Viktor Kuncak / Daniel Jackson / /

Position

General / representative / programmer / /

Product

impor131 Korat / /

ProgrammingLanguage

Java / /

Technology

search algorithm / Linux / 800 MHz processor / Java / 200 Technology / caching / /

SocialTag