Christoph Mallon

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 2

Top Topics

Automatically Generating

Test Case Selection

Dynamic Analysis

Top Venues

Reliab. Eng. Syst. Saf.

IEEE Trans. Software Eng.

Publications

Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188 (2019)
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking Static Code Analyzers. SAFECOMP (2017)
Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau
Simple and Efficient Construction of Static Single Assignment Form. CC (2013)
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller
Automatically Generating Test Cases for Specification Mining. IEEE Trans. Software Eng. 38 (2) (2012)
Matthias Braun, Christoph Mallon, Sebastian Hack
Preference-Guided Register Assignment. CC (2010)
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller
Generating test cases for specification mining. ISSTA (2010)