Edison Mera, Pedro López-GarcÃa, Manuel V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 281-295, Springer, 2009. [doi]
@inproceedings{MeraLH09,
title = {Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework},
author = {Edison Mera and Pedro López-GarcÃa and Manuel V. Hermenegildo},
year = {2009},
doi = {10.1007/978-3-642-02846-5_25},
url = {http://dx.doi.org/10.1007/978-3-642-02846-5_25},
tags = {testing},
researchr = {https://researchr.org/publication/MeraLH09},
cites = {0},
citedby = {0},
pages = {281-295},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
editor = {Patricia M. Hill and David Scott Warren},
volume = {5649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02845-8},
}