Ioannis Parissis, Jérôme Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. In 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. pages 191-202, IEEE Computer Society, 2003. [doi]
@inproceedings{ParissisV03,
title = {Thoroughness of Specification-Based Testing of Synchronous Programs},
author = {Ioannis Parissis and Jérôme Vassy},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070191abs.htm},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/ParissisV03},
cites = {0},
citedby = {0},
pages = {191-202},
booktitle = {14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2007-3},
}