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]
@inproceedings{ElyasovPH13, title = {Guided Algebraic Specification Mining for Failure Simplification}, author = {Alexander Elyasov and I. S. Wishnu B. Prasetya and Jurriaan Hage}, year = {2013}, doi = {10.1007/978-3-642-41707-8_15}, url = {http://dx.doi.org/10.1007/978-3-642-41707-8_15}, researchr = {https://researchr.org/publication/ElyasovPH13}, cites = {0}, citedby = {0}, pages = {223-238}, booktitle = {Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings}, editor = {Hüsnü Yenigün and Cemal Yilmaz and Andreas Ulrich}, volume = {8254}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-41706-1}, }