Roberto Boselli, Mirko Cesarini, Fabio Mercorio, Mario Mezzanzanica. Accurate Data Cleansing through Model Checking and Machine Learning Techniques. In Markus Helfert, Andreas Holzinger, Orlando Belo, Chiara Francalanci, editors, Data Management Technologies and Applications - Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Volume 178 of Communications in Computer and Information Science, pages 62-80, Springer, 2014. [doi]
Abstract is missing.