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

Leave a Reply

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