Early Fault Detection in DSLs Using SMT Solving and Automated Debugging

Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi. Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. In Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti, editors, Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Volume 8137 of Lecture Notes in Computer Science, pages 182-196, Springer, 2013. [doi]

Abstract

Abstract is missing.