Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita. Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electronic Testing, 28(4):469-486, 2012. [doi]
Abstract is missing.