Back to Results
First PageMeta Content
Software bugs / Software testing / Automated theorem proving / Concolic testing / Buffer overflow / Symbolic execution / Arithmetic overflow / String / C / Software engineering / Computing / Computer programming


University of California Los Angeles Symbolic Execution Algorithms for Test Generation
Add to Reading List

Document Date: 2012-11-23 07:14:40

Open Document

File Size: 759,91 KB

Share 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