Christoph Mallon is an author at Saarland University specializing in software testing, computer science, and knowledge discovery.
Top concepts
EngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2010–2011
2
2
Generating test cases for specification mining
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon et al. · 2010 · 140 citations
Rows per page
1–2 of 2