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

Leave a Reply

Your email address will not be published. Required fields are marked *