Prof. Dr. Michael Philippsen

Lehrstuhl für Informatik 2 (Programmiersysteme)

Test Case Reduction: A Framework, Benchmark, and Comparative Study (2021) Kreutzer P, Kunze T, Philippsen M Conference contribution, Conference Contribution Cloud Cost City: A Visualization of Cloud Costs Using the City Metaphor (2021) Dashuber V, Philippsen M Conference contribution, Conference Contribution A layered software city for dependency visualization (Best Paper Award) (2021) Dashuber V, Philippsen M, Weigend J Conference contribution, Conference Contribution Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible (2021) Kamp M, Philippsen M Conference contribution, Original article Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible" (2020) Kamp M, Philippsen M Other publication type, Forschungsdaten MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests (2020) Baer M, Oster N, Philippsen M Conference contribution, Original article RNN-aided Human Velocity Estimation from a Single IMU (2020) Feigl T, Kram S, Woller P, Siddiqui RH, Philippsen M, Mutschler C Journal article, Original article Towards Collaborative and Dynamic Software Visualization in VR (2020) Jung F, Dashuber V, Philippsen M Conference contribution, Conference Contribution Language-Agnostic Generation of Compilable Test Programs (2020) Kreutzer P, Kraus S, Philippsen M Conference contribution, Conference Contribution Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-Scale Industry Environments (2020) Feigl T, Porada A, Steiner S, Löffler C, Mutschler C, Philippsen M Conference contribution, Original article