Lihua Xu, Marcio S. Dias, Debra J. Richardson. Regression testing via model checking. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. pages 402-407, IASTED/ACTA Press, 2004.
@inproceedings{XuDR04:0,
title = {Regression testing via model checking},
author = {Lihua Xu and Marcio S. Dias and Debra J. Richardson},
year = {2004},
tags = {model checking, meta-model, testing, Meta-Environment},
researchr = {https://researchr.org/publication/XuDR04%3A0},
cites = {0},
citedby = {0},
pages = {402-407},
booktitle = {IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-381-4},
}