Untergeordnete Navigation

Marc Brockschmidt erhält den Best Paper and Presentation Award der FoVeOOS 2011

Marc Brockschmidt vom Lehr- und Forschungsgebiet Informatik 2 hat auf der "International Conference on Formal Verification of Object-Oriented Software" (FoVeOOS 2011) den Preis für das beste Papier und den besten Vortrag erhalten. Sein Papier "Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode" stellt ein neues Verfahren zur automatischen Fehlersuche beim objektorientierten Programmieren vor.


19.10.2011, sts