First Page | Document Content | |
---|---|---|
Date: 2012-02-01 18:09:00Programming 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 1Add to Reading ListSource URL: www.cs.utah.eduDownload Document from Source WebsiteFile Size: 173,75 KBShare Document on Facebook |