Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss. Applications of Abduction: Testing Very Long Qualitative Simulations. IEEE Trans. Knowl. Data Eng., 14(6):1362-1375, 2002. [doi]
@article{MenziesCWG02,
title = {Applications of Abduction: Testing Very Long Qualitative Simulations},
author = {Tim Menzies and Robert F. Cohen and Sam Waugh and Simon Goss},
year = {2002},
url = {http://www.computer.org/tkde/tk2002/k1362abs.htm},
tags = {testing},
researchr = {https://researchr.org/publication/MenziesCWG02},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {14},
number = {6},
pages = {1362-1375},
}