Categories
BNF KLEE Matt Might

Readings from Jan 15, 2013

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

Categories
FAMA-C John Regehr KLEE

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