Runtime Exception Detection in Java Programs Using Symbolic Execution

Istvan Kadar, Péter Hegedus, Rudolf Ferenc. Runtime Exception Detection in Java Programs Using Symbolic Execution. Acta Cybern., 21(3):331-352, 2014. [doi]

Abstract

Abstract is missing.