JNuke: Efficient Dynamic Analysis for Java - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller. JNuke: Efficient Dynamic Analysis for Java. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 462-465, Springer, 2004. [doi]

This author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Viktor Schuppan' in GoogleThis author has not been identified. Look up 'Armin Biere' in GoogleThis author has not been identified. Look up 'Pascal Eugster' in GoogleThis author has not been identified. Look up 'Marcel Baur' in GoogleThis author has not been identified. Look up 'Boris Zweimüller' in Google

runs on WebDSL