Ning Ge, Marc Pantel, Xavier Crégut. Automated Failure Analysis in Model Checking Based on Data Mining. In Yamine Aït Ameur, Ladjel Bellatreche, George A. Papadopoulos, editors, Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings. Volume 8748 of Lecture Notes in Computer Science, pages 13-28, Springer, 2014. [doi]
Abstract is missing.