BibTeX
@inproceedings{DBLP:conf/paste/BradburyCD05,
author = {Jeremy S. Bradbury and
James R. Cordy and
J{\"u}rgen Dingel},
title = {An empirical framework for comparing effectiveness of testing
and property-based formal analysis},
booktitle = {PASTE},
year = {2005},
pages = {2-5},
ee = {http://doi.acm.org/10.1145/1108792.1108795},
crossref = {DBLP:conf/paste/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/paste/2005,
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on
Program Analysis For Software Tools and Engineering, PASTE'05,
Lisbon, Portugal, September 5-6, 2005},
publisher = {ACM},
year = {2005},
isbn = {1-59593-239-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-03-09 by Michael Ley (ley@uni-trier.de)