![Software engineering / Software testing / Logic in computer science / Automated theorem proving / Concolic testing / Symbolic execution / Buffer overflow / Predicate transformer semantics / Precondition / Theoretical computer science / Software bugs / Mathematics Software engineering / Software testing / Logic in computer science / Automated theorem proving / Concolic testing / Symbolic execution / Buffer overflow / Predicate transformer semantics / Precondition / Theoretical computer science / Software bugs / Mathematics](https://www.pdfsearch.io/img/10acce6b870170d9f1fa00a8731dcff6.jpg)
| Document Date: 2011-05-02 14:34:52 Open Document File Size: 344,37 KBShare Result on Facebook
Company AEG / / / Event Man-Made Disaster / / Facility Library Function Calls / David Brumley Carnegie Mellon University / / IndustryTerm Wireless Tools / level algorithm / network support / final solution / file systems / loop exhaustion search strategy / Real-world applications / signature generation algorithms / bug finding infrastructure / struct wireless info info / the basic network / state space search / image-processing utility / search space / / OperatingSystem Microsoft Windows / GNU / / Organization US Federal Reserve / Carnegie Mellon University / Pittsburgh / / Person Brent Lim Tze Hao / Sang Kil Cha / David Brumley Carnegie / / Position single interpreter / 1st interpreter / branch interpreter / branch guard / interpreter / 2nd interpreter / symbolic interpreter / programmer / / ProgrammingLanguage C / / ProvinceOrState Indiana / / Technology 5.1 Algorithm / HTTP / high-level algorithm / signature generation algorithms / /
SocialTag |