Nigel Tracey, John Penix, Willem Visser. Automated analysis, verification and testing. Software Focus, 2(2):82, 2001.
@article{TraceyPV01,
title = {Automated analysis, verification and testing},
author = {Nigel Tracey and John Penix and Willem Visser},
year = {2001},
tags = {testing, analysis},
researchr = {https://researchr.org/publication/TraceyPV01},
cites = {0},
citedby = {0},
journal = {Software Focus},
volume = {2},
number = {2},
pages = {82},
}