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
Showing posts with label FAMA-C. Show all posts
Showing posts with label FAMA-C. Show all posts
Tuesday, January 15, 2013
Subscribe to:
Posts (Atom)