Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman. Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. In 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA. IEEE Computer Society, 2004. [doi]
@inproceedings{LongDGSW04,
title = {Mutation-Based Exploration of a Method for Verifying Concurrent Java Components},
author = {Brad Long and Roger Duke and Doug Goldson and Paul A. Strooper and Luke Wildman},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170265babs.htm},
tags = {rule-based, Java},
researchr = {https://researchr.org/publication/LongDGSW04},
cites = {0},
citedby = {0},
booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2132-0},
}