Klaus Havelund Runtime Verification of C Programs. 7-22 2008 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-68524-1_3 conf/pts/2008 db/conf/pts/testcom2008.html#Havelund08