conf.researchr.org / Michael Philippsen

Registered user since Thu 17 Jul 2014

Name: Michael Philippsen

Country: Germany

Affiliation: Friedrich-Alexander University Erlangen-Nürnberg (FAU)

Personal website: https://www2.cs.fau.de/EN/staff/philippsen/index.html

Contributions

Mutation 2020Author of MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests within the Mutation 2020-track
ICST 2020Author of Language-Agnostic Generation of Compilable Test Programs within the Research Papers-track
MSR 2019Author of SeSaMe: A Data Set of Semantically Similar Java Methods within the MSR 2019 Data Showcase-track
AI-SEPS 2018Committee Member in Program Committee within the AI-SEPS-track
SEPS 2017Committee Member in Program Committee within the SEPS 2017-track
ICOOOLPS 2017Author of Diff Graphs for a fast Incremental Pointer Analysis within the ICOOOLPS 2017-track
SEPS 2016Committee Member in Program Committee within the SEPS-track
SEPS 2015Committee Member in Program Committee within the SEPS-track
SEPSCommittee Member in Program Committee within the SEPS-track