java.util library of Sun / University of Illinois / Prentice Hall / North Carolina State University / Preliminary Assessment Imperial College / Koushik Sen Nikolai Tillmann Willem Visser U.C. Berkeley Microsoft Research Stellenbosch University / /
IndustryTerm
search strategies / compiler infrastructure / heuristic search / web applications / generational search / sensor network applications / automated software testing / recent tools / symbolic execution tool / concolic search heuristics / on software development practice / dynamic web applications / search-based floating point constraint solving / explicit path model-checking tools / wireless sensor networks / control software / software engineering research / software practice / web applications10 / software engineering practice / open-source software / software development / parallel state-space search algorithms / Symbolic execution tools / open-source tool / parallel numeric applications / similar tool / online games / tolerant protocols / Software model / automated software debugging / satisfiable constraint systems / safety-critical systems / media players / aviation software / constraint solving technology / online gaming / Symbolic execution systems / software testing / /
OperatingSystem
Windows 7 / Linux / Microsoft Windows / /
Organization
National Science Foundation / MIT / UC Berkeley / University of Illinois / Nikolai Tillmann Willem Visser U.C. Berkeley Microsoft Research Stellenbosch University / National Aeronautics and Space Administration / North Carolina State University / Stanford / /
Person
Corina S. Pas Patrice / C. Cadar / V / Jacob Burnim / Hybrid / Khurshid Cristian Cadar / W. R. Bush / ACM TOPLAS / Patrice Godefroid / Nikolai Tillmann Willem Visser / V. Kuznetsov / V / Matt Dwyer / D. Harvison / V / /
Position
General / Senator / representative / /
Product
Orion / SQL injection / DART / /
ProgrammingLanguage
Java / Java bytecode / C / Ada / SQL / /
ProvinceOrState
Illinois / /
PublishedMedium
IEEE Transactions on Software Engineering / Journal of Systems and Software / the Orion / /
Technology
Linux / html / operating systems / parallel state-space search algorithms / enabling technology / Java / constraint solving technology / caching / flash / /
Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research