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), Madrid, Spain.