Applications of Abduction: Testing Very Long Qualitative Simulations

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]

Abstract

Abstract is missing.