On-line Software Error Detection by Executable Assertions: From Theory to Practice.

Christophe Rabjac

Browse the full SAFECOMP paper archive.