![Software testing / Automated theorem proving / Concolic testing / Software metrics / KeY / Symbolic execution / Code coverage / Control flow graph / Algorithm / Software / Computing / Formal methods Software testing / Automated theorem proving / Concolic testing / Software metrics / KeY / Symbolic execution / Code coverage / Control flow graph / Algorithm / Software / Computing / Formal methods](https://www.pdfsearch.io/img/80dc1c5eab6c36489dc2987e7282d5d9.jpg)
| Document Date: 2014-05-29 15:38:01 Open Document File Size: 553,37 KBShare Result on Facebook
City Hyderabad / / Company Amazon / MergePoint / Ge / Intel / / Country India / / Currency USD / / / Event Reorganization / / Facility Symbolic store / library Gnulib / David Brumley Carnegie Mellon University / / IndustryTerm online bibliography / static algorithm / dynamic and static algorithms / generational search / static algorithms / final processing step / generational search strategy / netpbm utilities / na¨ıve substitution algorithm / open source software / bug-finding systems / search heuristics / symbolic execution tools / dataflow algorithm / magnitude more applications / data processing / stand-alone tool / instrumentation tool / open-source applications / software vulnerabilities / online algorithm / mining / static verification tools / above systems / symbolic execution systems / dynamic symbolic execution systems / verification tool / distinct applications / / MarketIndex BIN / / OperatingSystem UNIX / Windows 7 / Linux / Fork / GNU / / Organization National Science Foundation / DARPA / Carnegie Mellon University / General Services Administration / / Person Coverage Difference / Mitch Franzos / Tiffany Bao / Samantha Gottlieb / Alexandre Rebert / Sang Kil Cha / David Brumley Carnegie / / / Position representative / Program analysis General / / Product BIN suite / Binary Analysis Platform / BIN / / RadioStation Core / / Technology virtual machine / online algorithm / RAM / veritesting algorithm / 11 Algorithm / UNIX / Linux / dataflow algorithm / na¨ıve substitution algorithm / Dynamic Symbolic Execution Algorithm / main algorithm / static algorithm / static algorithms / 4 Algorithm / SSE algorithm / SSE algorithms / caching / dynamic and static algorithms / /
SocialTag |