the Sun / NetBeans / Embedded Software / Prentice-Hall Inc. / Eclipse / AMD / Microsoft / /
Country
Switzerland / United States / /
Currency
USD / / /
Facility
University of Illinois Urbana IL / Sarfraz Khurshid Viktor Kuncak Darko Marinov University of Texas Austin / University of Illinois Urbana / UDITA Milos Gligoric Tihomir Gvero Vilas Jagannath University of Illinois Urbana / /
IndustryTerm
adopted tools / polynomial-time algorithm / real-world applications / test generation algorithms / software development tools / software bugs / simpler solution / mining / search space / /
Organization
National Science Foundation / MIT / Ecole Polytechnique F´ed´erale Lausanne / Secretariat for Education / University of Illinois Urbana / U.S. Securities and Exchange Commission / University of Illinois / UDITA Milos Gligoric Tihomir Gvero Vilas Jagannath University of Illinois Urbana / National Aeronautics and Space Administration / University of Texas Austin / /
Person
Dusan Matic / C. Cadar / V / K. Havelund / Milos Siroka / S. Park / Tao Xie / Rohan Sharma / Jonathan de Halleux / W. Visser / G. P. Brat / S. Khurshid / Yun Young Lee / Igor Andjelkovic / T. Gvero / V / Khurshid Viktor Kuncak Darko / Brett Daniel / C. S. Pasareanu / Nikolai Tillmann / Suresh Thummalapenta / Milos Gligoric / F. Lerda / Xusheng Xiao / S. Khurshid / V / Nima Honarmand / /
Position
driver / Senator / official / Debugging General / G. P. / /
Test Generation through Programming in UDITA