Mera, E. and López García, Pedro and Hermenegildo, Manuel V.  (2009).  Integrating software testing and run-time checking in an assertion verification framework..  Monografía (Technical Report).  Facultad de Informática (UPM) <https://oa.upm.es/view/institution/Informatica/>, Madrid, Spain.