DMCA

Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode ⋆

by Marc Brockschmidt , Thomas Ströder , Carsten Otto , Jürgen Giesl
Citations:12 - 6 self