%0 Conference Paper %1 conf/foveoos/BrockschmidtSOG11 %A Brockschmidt, Marc %A Ströder, Thomas %A Otto, Carsten %A Giesl, Jürgen %B FoVeOOS %D 2011 %E Beckert, Bernhard %E Damiani, Ferruccio %E Gurov, Dilian %I Springer %K dblp %P 123-141 %T Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. %U http://dblp.uni-trier.de/db/conf/foveoos/foveoos2011.html#BrockschmidtSOG11 %V 7421 %@ 978-3-642-31761-3

@inproceedings{conf/foveoos/BrockschmidtSOG11, added-at = {2017-05-19T00:00:00.000+0200}, author = {Brockschmidt, Marc and Ströder, Thomas and Otto, Carsten and Giesl, Jürgen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29517aa09d039772fcd15c017fc3218f9/dblp}, booktitle = {FoVeOOS}, crossref = {conf/foveoos/2011}, editor = {Beckert, Bernhard and Damiani, Ferruccio and Gurov, Dilian}, ee = {https://doi.org/10.1007/978-3-642-31762-0_9}, interhash = {d17d6bcd42c2cccf3a17f2fbdd7d4117}, intrahash = {9517aa09d039772fcd15c017fc3218f9}, isbn = {978-3-642-31761-3}, keywords = {dblp}, pages = {123-141}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:40:37.000+0200}, title = {Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.}, url = {http://dblp.uni-trier.de/db/conf/foveoos/foveoos2011.html#BrockschmidtSOG11}, volume = 7421, year = 2011 }