Guided Algebraic Specification Mining for Failure Simplification

Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage. Guided Algebraic Specification Mining for Failure Simplification. In Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich, editors, Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings. Volume 8254 of Lecture Notes in Computer Science, pages 223-238, Springer, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.