![Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing](https://www.pdfsearch.io/img/6488926dd1263c9c02e292717cce550a.jpg)
| Document Date: 2014-02-15 14:07:11 Open Document File Size: 386,97 KBShare Result on Facebook
Company Checkpoint / E. Performance Tuning M AYHEM / V SA / M AYHEM / Intel / The CEC / / Currency USD / / / Event Product Issues / / Facility Checkpoint Restoration / David Brumley Carnegie Mellon University / / IndustryTerm online fashion / Online execution throughput / online version / binary-search strategy / optimizations as proposed by previous systems / hybrid execution algorithm / basic server / bounds resolution algorithm / offline systems / online executions / online exploration / online execution run / Online millions / online phase / search space / generation algorithm / wireless configuration utility iwconfig / online and offline modes / online execution tasks / online executors / online and offline symbolic execution runs / online symbolic execution / index search trees / online execution / binary search / search tree / online mode / binary search tree / / OperatingSystem Ubuntu / Windows XP / Microsoft Windows / Linux / / Organization David Brumley Carnegie Mellon University Pittsburgh / / Person Test Cases Buggy Inputs / Alexandre Rebert / David Brumley Carnegie / / Position guard / branch guard / General / checkpoint manager / Symbolic Execution Server Symbolic Evaluator Path Selector Exploit Generator Checkpoint Manager / memory manager / manager in an OS / manager / the checkpoint database / and test case directories / suspended interpreter / interpreter / manager starts generating checkpoints / / Product orzHttpd / the SES / jump instruction / branch point / instructions / branch condition / / ProgrammingLanguage C / C++ / / ProvinceOrState Illinois / / Technology RAM / Linux / API / Operating System / IST generation algorithm / IST algorithm / light-weight RPC protocol / hybrid execution algorithm / bounds resolution algorithm / ASCII / HTTP / Caching / /
SocialTag |