Back to Results
First PageMeta Content
Programming language implementation / Frama-C / Software testing / Debugging / Software bug / Compiler / Interpreter / Class / Clang / Software engineering / Software / Computer programming


Testing static analyzers with randomly generated programs Pascal Cuoq1 , Benjamin Monate1 , Anne Pacalet2 , Virgile Prevosto1 , John Regehr3 , Boris Yakobowski1 , and Xuejun Yang3 1
Add to Reading List

Document Date: 2012-02-01 18:09:00

Open Document

File Size: 173,75 KB

Share Result on Facebook

City

New York / San Jose / /

Country

United States / /

Facility

University of Utah Abstract / /

IndustryTerm

program pretty-printing / safety-critical software industry / partial solution / safetycritical applications / /

Organization

International Organization for Standardization / National Aeronautics and Space Administration / University of Utah / /

Person

Moya Lamiel / V / /

Position

mp / plain and abstract interpreter / plain interpreter / abstract interpreter / interpreter / /

ProgrammingLanguage

C / Pascal / /

ProvinceOrState

Utah / New York / /

Technology

pdf / /

URL

http /

SocialTag