Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. Bug Hunting with False Negatives. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 98-117, Springer, 2007. [doi]
@inproceedings{CalameIPS07,
title = {Bug Hunting with False Negatives},
author = {Jens R. Calame and Natalia Ioustinova and Jaco van de Pol and Natalia Sidorova},
year = {2007},
doi = {10.1007/978-3-540-73210-5_6},
url = {http://dx.doi.org/10.1007/978-3-540-73210-5_6},
researchr = {https://researchr.org/publication/CalameIPS07},
cites = {0},
citedby = {0},
pages = {98-117},
booktitle = {Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings},
editor = {Jim Davies and Jeremy Gibbons},
volume = {4591},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73209-9},
}