![Software bugs / Software testing / Automated theorem proving / Concolic testing / Buffer overflow / Symbolic execution / Arithmetic overflow / String / C / Software engineering / Computing / Computer programming Software bugs / Software testing / Automated theorem proving / Concolic testing / Buffer overflow / Symbolic execution / Arithmetic overflow / String / C / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/1c7547fb3577edc61b8a4b25d788c7fc.jpg)
| Document Date: 2012-11-23 07:14:40 Open Document File Size: 759,91 KBShare Result on Facebook
Facility University of California Los Angeles Symbolic Execution Algorithms / / IndustryTerm binary search / maximum applications / / Organization University of California Los Angeles Symbolic Execution Algorithms / University of California / Los Angeles / / Person Lei He Rupak Majumdar / Gang Xu / Jens Palsberg Todd Millstein Lei / / / Position Chair / Committee / Chair Committee / / ProvinceOrState California / / Technology FlowTest Algorithm / 6.2 Algorithm / /
SocialTag |