![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/bc9dd871a1efacf7ff965706c3a0f417.jpg)
| Document Date: 2012-09-22 22:22:15 Open Document File Size: 414,91 KBShare Result on Facebook
Company V SA / Checkpoint / M AYHEM / E. Performance Tuning M AYHEM / Intel / The CEC / / Currency USD / / / Event Product Issues / / Facility David Brumley Carnegie Mellon University / Checkpoint Restoration / / IndustryTerm online fashion / online and offline symbolic execution runs / bounds resolution algorithm / Online execution throughput / generation algorithm / wireless configuration utility iwconfig / online symbolic execution / offline systems / index search trees / online version / online execution / online executions / binary search / online and offline modes / online exploration / online execution run / binary-search strategy / Online millions / online phase / search tree / optimizations as proposed by previous systems / online mode / online execution tasks / binary search tree / hybrid execution algorithm / search space / online executors / basic server / / OperatingSystem Windows XP / Linux / Ubuntu / Microsoft Windows / / Organization David Brumley Carnegie Mellon University Pittsburgh / / Person Test Cases Buggy Inputs / Alexandre Rebert / David Brumley Carnegie / / Position checkpoint manager / manager in an OS / guard / Symbolic Execution Server Symbolic Evaluator Path Selector Exploit Generator Checkpoint Manager / manager starts generating checkpoints / manager / the checkpoint database / and test case directories / branch guard / General / suspended interpreter / interpreter / memory manager / / Product orzHttpd / the SES / jump instruction / branch point / instructions / branch condition / / ProgrammingLanguage C / C++ / / ProvinceOrState Illinois / / Technology hybrid execution algorithm / RAM / IST algorithm / bounds resolution algorithm / Linux / ASCII / API / HTTP / Caching / Operating System / IST generation algorithm / light-weight RPC protocol / /
SocialTag |