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

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