Automatic and configurable instrumentation of C programs with temporal assertion checkers.

Martial Chabot, Kvin Mazet, Laurence Pierre

Browse the full MEMOCODE paper archive.