George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis. Automated Detection of Logical Errors in Programs. In Javier Lopez, Indrajit Ray, Bruno Crispo, editors, Risks and Security of Internet and Systems - 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers. Volume 8924 of Lecture Notes in Computer Science, pages 35-51, Springer, 2014. [doi]
Abstract is missing.