Johannes Bader

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 12

Top Topics

Mutation Testing

False Acceptance

Top Venues

Proc. ACM Program. Lang.

Publications

Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
AI in Software Engineering at Facebook. IEEE Softw. 38 (4) (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. CoRR (2021)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. ICSE (SEIP) (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. ECOOP (2021)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
What It Would Take to Use Mutation Testing in Industry-A Study at Facebook. CoRR (2020)
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott
SapFix: automated end-to-end repair at scale. ICSE (SEIP) (2019)
Andrew Scott, Johannes Bader, Satish Chandra
Getafix: Learning to fix bugs automatically. CoRR (2019)
Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Johannes Bader, Jonathan Aldrich, Éric Tanter
Gradual Program Verification. VMCAI (2018)
Daniel Plohmann, Khaled Yakdan, Michael Klatt, Johannes Bader, Elmar Gerhards-Padilla
A Comprehensive Measurement Study of Domain Generating Malware. USENIX Security Symposium (2016)
Johannes Bader, Simon Gog, Matthias Petri
Practical Variable Length Gap Pattern Matching. SEA (2016)
Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler
Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications. Theor. Comput. Sci. 425 (2012)
Johannes Bader, Eckart Zitzler
HypE: An Algorithm for Fast Hypervolume-Based Many-Objective Optimization. Evol. Comput. 19 (1) (2011)
Tamara Ulrich, Johannes Bader, Lothar Thiele
Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search. PPSN (1) (2010)
Eckart Zitzler, Lothar Thiele, Johannes Bader
On Set-Based Multiobjective Optimization. IEEE Trans. Evol. Comput. 14 (1) (2010)
Tamara Ulrich, Johannes Bader, Eckart Zitzler
Integrating decision space diversity into hypervolume-based multiobjective search. GECCO (2010)
Anne Auger, Johannes Bader, Dimo Brockhoff
-Distributions for the Hypervolume Indicator: First Results for Three Objectives. PPSN (1) (2010)
Johannes Bader, Dimo Brockhoff, Samuel Welten, Eckart Zitzler
On Using Populations of Sets in Multiobjective Optimization. EMO (2009)
Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler
Theory of the hypervolume indicator: optimal μ-distributions and the choice of the reference point. FOGA (2009)
Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler
Investigating and exploiting the bias of the weighted hypervolume to articulate user preferences. GECCO (2009)
Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler
Articulating user preferences in many-objective problems by sampling the weighted hypervolume. GECCO (2009)
Eckart Zitzler, Lothar Thiele, Johannes Bader
SPAM: Set Preference Algorithm for Multiobjective Optimization. PPSN (2008)
Johannes Bader, Kalyanmoy Deb, Eckart Zitzler
Faster Hypervolume-Based Search Using Monte Carlo Sampling. MCDM (2008)