Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho. Automatic generation of built-in contract test drivers. Software and Systems Modeling, 13(3):1141-1165, 2014. [doi]
@article{AlvesMR14,
title = {Automatic generation of built-in contract test drivers},
author = {Everton L. G. Alves and Patrícia D. L. Machado and Franklin Ramalho},
year = {2014},
doi = {10.1007/s10270-012-0282-8},
url = {http://dx.doi.org/10.1007/s10270-012-0282-8},
researchr = {https://researchr.org/publication/AlvesMR14},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {13},
number = {3},
pages = {1141-1165},
}