Preference-Guided Register Assignment. - Matthias Braun 003; Christoph Mallon; Sebastian Hack (CC, 2010)

Generating test cases for specification mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Sebastian Hack; Andreas Zeller (ISSTA, 2010)

Automatically Generating Test Cases for Specification Mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Gordon Fraser 001; Sebastian Hack; Andreas Zeller (IEEE Trans. Software Eng., 2012)

Simple and Efficient Construction of Static Single Assignment Form. - Matthias Braun 003; Sebastian Buchwald; Sebastian Hack; Roland Leißa; Christoph Mallon; Andreas Zwinkau (CC, 2013)

Benchmarking static code analyzers. - Jörg Herter; Daniel Kästner; Christoph Mallon; Reinhard Wilhelm (Reliab. Eng. Syst. Saf., 2019)