| Document Date: 2014-03-17 11:29:44
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 |
Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu