View Document Preview and Link
Document Date: 2013-03-28 20:19:29 Open Document File Size: 170,69 KB Share Result on Facebook
City Cambridge / Toronto / / Company MIT Press / Si / ACM Press / IEEE Comp / / Country United States / Canada / / Currency USD / / / Event Reorganization / / Facility Vine library / Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni Stephen McCamant Dawn Song University of California / C library / / IndustryTerm undirected search strategy / search-space / automaton product / possible solution / binary applications / shortest path algorithm / call site / large applications / path search / classic shortest path algorithm / genetic algorithms / unguided search / present several control-flow guided search heuristics / greedy best-first-search metric / uninformed search strategy / computing / shortest-path algorithm / automated test generation tool / classic algorithm / test generation tool / Search heuristics / transportation domain / software verification / allocation site / / OperatingSystem Debian GNU/Linux / / Organization National Science Foundation / MIT / University of California / Berkeley / USENIX Association / / Person Dill / Yang / C. Cadar / V / Ci / Lal / Ri / / Position hb / first author / General / protocol model / Senator / Debugging General / / Product Dijkstra / / ProgrammingLanguage C / / ProvinceOrState California / / PublishedMedium Journal of the ACM / the SCC M times / / Technology classic algorithm / DSD / classic shortest path algorithm / Java / Linux / shortest path algorithm / 4.2 VPA Shortest Paths The algorithm / Synergy algorithm / API / dom / shortest-path algorithm / Operating Systems / DSP / PDF / / SocialTag