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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.