Comments on: Automated detection of non-termination and NullPointerExceptions for Java Bytecode

Comments on: Automated detection of non-termination and NullPointerExceptions for Java Bytecode http://www.algosyn.rwth-aachen.de/wp-publications/brockschmidtstroederottogiesl2012/ hourly 1 http://wordpress.org/?v=3.6.1