We stand with Ukraine  

Christoph Mallon

Affiliations:
  • AbsInt, Saarbrücken, Germany


According to our database1, Christoph Mallon authored at least 5 papers between 2010 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Benchmarking Static Code Analyzers.
[BibTeX]
[DOI]
Jörg Herter
,
Daniel Kästner
,
Christoph Mallon
,
Reinhard Wilhelm
Proceedings of the Computer Safety, Reliability, and Security, 2017

2013
Simple and Efficient Construction of Static Single Assignment Form.
[BibTeX]
[DOI]
Matthias Braun
,
Sebastian Buchwald
,
Sebastian Hack
,
Roland Leißa
,
Christoph Mallon
,
Andreas Zwinkau
Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012
Automatically Generating Test Cases for Specification Mining.
[BibTeX]
[DOI]
Valentin Dallmeier
,
Nikolai Knopp
,
Christoph Mallon
,
Gordon Fraser
,
Sebastian Hack
,
Andreas Zeller
IEEE Trans. Software Eng., 2012

2010
Generating test cases for specification mining.
[BibTeX]
[DOI]
Valentin Dallmeier
,
Nikolai Knopp
,
Christoph Mallon
,
Sebastian Hack
,
Andreas Zeller
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Preference-Guided Register Assignment.
[BibTeX]
[DOI]
Matthias Braun
,
Christoph Mallon
,
Sebastian Hack
Proceedings of the Compiler Construction, 19th International Conference, 2010


  Loading...