The language of languages by Matt Might: this clears me up on several syntactical aspect of the few types of grammars.
KLEE : Hmm. This is very interesting. Given a function, this tool can automatically generate all the test cases with proper coverage. I think this could improve the current testsuit of C-based Sphinx.
Arthur
Showing posts with label KLEE. Show all posts
Showing posts with label KLEE. Show all posts
Tuesday, January 15, 2013
John Regehr on Hiding Bugs
Hiding Bugs from Branch Coverage : Great article on how one can hide bugs by function. All code in C. It also mentioned usage of advanced tools such as KLEE and FAMA-C.
Arthur
Arthur
Subscribe to:
Posts (Atom)