Automated Detection of Logical Errors in Programs.

George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis

Browse the full CRiSIS paper archive.