Benchmarking Testing Strategies with Tools from Mutation Analysis. - Ralph Guderlei; René Just; Christoph Schneckenburger; Franz Schweiggert (ICST Workshops, 2008)

Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis. - René Just; Franz Schweiggert (ICST Workshops, 2009)

Automating software tests with partial oracles in integrated environments. - René Just; Franz Schweiggert (AST, 2010)

Using conditional mutation to increase the efficiency of mutation analysis. - René Just; Gregory M. Kapfhammer; Franz Schweiggert (AST, 2011)

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. - René Just; Franz Schweiggert; Gregory M. Kapfhammer (ASE, 2011)

Automating unit and integration testing with partial oracles. - René Just; Franz Schweiggert (Softw. Qual. J., 2011)

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? - René Just; Gregory M. Kapfhammer; Franz Schweiggert (ICST, 2012)

Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis. - René Just; Gregory M. Kapfhammer; Franz Schweiggert (ISSRE, 2012)

Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis - René Just; Michael D. Ernst; Gordon Fraser 001 (CoRR, 2013)

On effective and efficient mutation analysis for unit and integration testing. - René Just (2013)

Collaborative Verification of Information Flow for a High-Assurance App Store. - Michael D. Ernst; René Just; Suzanne Millstein; Werner Dietl; Stuart Pernsteiner; Franziska Roesner; Karl Koscher; Paulo Barros; Ravi Bhoraskar; Seungyeop Han; Paul Vines; Edward XueJun Wu (CCS, 2014)

The major mutation framework: efficient and scalable mutation analysis for Java. - René Just (ISSTA, 2014)

Efficient mutation analysis by propagating and partitioning infected execution states. - René Just; Michael D. Ernst; Gordon Fraser 001 (ISSTA, 2014)

Defects4J: a database of existing faults to enable controlled testing studies for Java programs. - René Just; Darioush Jalali; Michael D. Ernst (ISSTA, 2014)

Are mutants a valid substitute for real faults in software testing? - René Just; Darioush Jalali; Laura Inozemtseva; Michael D. Ernst; Reid Holmes; Gordon Fraser 001 (SIGSOFT FSE, 2014)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). - Sina Shamshiri; René Just; José Miguel Rojas; Gordon Fraser 001; Phil McMinn; Andrea Arcuri (ASE, 2015)

Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. - René Just; Michael D. Ernst; Gordon Fraser 001 (Software Engineering & Management, 2015)

Collaborative Verification of Information Flow for a High-Assurance App Store. - René Just; Michael D. Ernst; Suzanne Millstein (Software Engineering & Management, 2015)

Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. - René Just; Franz Schweiggert (Softw. Test. Verification Reliab., 2015)

Unit testing tool competition: round four. - Urko Rueda; René Just; Juan P. Galeotti; Tanja E. J. Vos (SBST@ICSE, 2016)

Tailored Mutants Fit Bugs Better. - Miltiadis Allamanis; Earl T. Barr; René Just; Charles Sutton (CoRR, 2016)

Evaluating and improving fault localization. - Spencer Pearson; José Campos 001; René Just; Gordon Fraser 001; Rui Abreu 001; Michael D. Ernst; Deric Pang; Benjamin Keller (ICSE, 2017)

Private API Access and Functional Mocking in Automated Unit Test Generation. - Andrea Arcuri; Gordon Fraser 001; René Just (ICST, 2017)

Inferring mutant utility from program context. - René Just; Bob Kurtz; Paul Ammann (ISSTA, 2017)

Special issue on Mutation Testing. - Mike Papadakis; René Just (Inf. Softw. Technol., 2017)

An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. - Goran Petrovic; Marko Ivankovic; Bob Kurtz; Paul Ammann; René Just (ICST Workshops, 2018)

Comparing developer-provided to user-provided tests for fault localization and automated program repair. - René Just; Chris Parnin; Ian Drosos; Michael D. Ernst (ISSTA, 2018)

Do automated program repair techniques repair hard and important bugs? - Manish Motwani; Sandhya Sankaranarayanan; René Just; Yuriy Brun (Empir. Softw. Eng., 2018)

Guiding testing effort using mutant utility. - Justin Alvin; Bob Kurtz; Paul Ammann; Huzefa Rangwala; René Just (ICSE (Companion Volume), 2019)

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. - Benjamin Kushigian; Amit Rawat; René Just (ICST Workshops, 2019)

Code coverage at Google. - Marko Ivankovic; Goran Petrovic; René Just; Gordon Fraser 001 (ESEC/SIGSOFT FSE, 2019)

Tea: A High-level Language and Runtime System for Automating Statistical Analysis. - Eunice Jun; Maureen Daum; Jared Roesch; Sarah E. Chasins; Emery D. Berger; René Just; Katharina Reinecke (UIST, 2019)

Special issue on mutation testing and analysis. - René Just; Jens Krinke; Nan Li; José Miguel Rojas (Softw. Test. Verification Reliab., 2019)

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. - Yiqun T. Chen 001; Rahul Gopinath; Anita Tadakamalla; Michael D. Ernst; Reid Holmes; Gordon Fraser 001; Paul Ammann; René Just (ASE, 2020)

Defects4J as a Challenge Case for the Search-Based Software Engineering Community. - Gregory Gay 002; René Just (SSBSE, 2020)

Does mutation testing improve testing practices? - Goran Petrovic; Marko Ivankovic; Gordon Fraser 001; René Just (ICSE, 2021)

Removing biased data to improve fairness and accuracy. - Sahil Verma; Michael D. Ernst; René Just (CoRR, 2021)

Practical Mutation Testing at Scale. - Goran Petrovic; Marko Ivankovic; Gordon Fraser 001; René Just (CoRR, 2021)

Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. - Eunice Jun; Audrey Seo; Jeffrey Heer; René Just (CHI, 2022)

Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions. - Yuren Pang; Katharina Reinecke; René Just (CHI, 2022)

Prioritizing Mutants to Guide Mutation Testing. - Samuel J. Kaufman; Ryan Featherman; Justin Alvin; Bob Kurtz; Paul Ammann; René Just (ICSE, 2022)

Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition. - Cailin Winston; Caleb Winston; Chloe N. Winston; Claris Winston; Cleah Winston; Rajesh P. N. Rao; René Just (ICSE, 2022)

Contextualized Programming Language Documentation. - Hannah Potter; Ardi Madadi; René Just; Cyrus Omar (Onward!, 2022)

How do Java mutation tools differ? - Domenico Amalfitano; Ana C. R. Paiva; Alexis Inquel; Luís Pinto 005; Anna Rita Fasolino; René Just (Commun. ACM, 2022)

Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. - Eunice Jun; Melissa Birchfield; Nicole de Moura; Jeffrey Heer; René Just (ACM Trans. Comput. Hum. Interact., 2022)

Quality of Automated Program Repair on Real-World Defects. - Manish Motwani; Mauricio Soto; Yuriy Brun; René Just; Claire Le Goues (IEEE Trans. Software Eng., 2022)

Practical Mutation Testing at Scale: A view from Google. - Goran Petrovic; Marko Ivankovic; Gordon Fraser 001; René Just (IEEE Trans. Software Eng., 2022)

On the Applicability of Language Models to Block-Based Programs. - Elisabeth Griebl; Benedikt Fein; Florian Obermüller; Gordon Fraser 001; René Just (ICSE, 2023)

Please fix this mutant: How do developers resolve mutants surfaced during code review? - Goran Petrovic; Marko Ivankovic; Gordon Fraser 001; René Just (ICSE-SEIP, 2023)

MuRS: Mutant Ranking and Suppression using Identifier Templates. - Zimin Chen; Malgorzata Salawa; Manushree Vijayvergiya; Goran Petrovic; Marko Ivankovic; René Just (ESEC/SIGSOFT FSE, 2023)

Generate Compilers from Hardware Models! - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; René Just; Zachary Tatlock (CoRR, 2023)

rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality. - Eunice Jun; Edward Misback; Jeffrey Heer; René Just (CoRR, 2023)

JUGE: An infrastructure for benchmarking Java unit test generators. - Xavier Devroey; Alessio Gambi; Juan Pablo Galeotti; René Just; Fitsum Meshesha Kifetew; Annibale Panichella; Sebastiano Panichella (Softw. Test. Verification Reliab., 2023)

AI-Assisted Assessment of Coding Practices in Modern Code Review. - Manushree Vijayvergiya; Malgorzata Salawa; Ivan Budiselic; Dan Zheng; Pascal Lamblin; Marko Ivankovic; Juanjo Carin; Mateusz Lewko; Jovan Andonov; Goran Petrovic; Daniel Tarlow; Petros Maniatis; et al. (AIware, 2024)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis. - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; Steven Lyubomirsky; Sorawee Porncharoenwase; René Just; Gilbert Louis Bernstein; Zachary Tatlock (ASPLOS (2), 2024)

rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling. - Eunice Jun; Edward Misback; Jeffrey Heer; René Just (CHI, 2024)

BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies. - Rock Yuren Pang; Sebastin Santy; René Just; Katharina Reinecke (CHI, 2024)

Productive Coverage: Improving the Actionability of Code Coverage. - Marko Ivankovic; Goran Petrovic; Yana Kulizhskaya; Mateusz Lewko; Luka Kalinovcic; René Just; Gordon Fraser 001 (ICSE-SEIP, 2024)

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. - Benjamin Kushigian; Samuel J. Kaufman; Ryan Featherman; Hannah Potter; Ardi Madadi; René Just (ISSTA, 2024)

Call Graph Soundness in Android Static Analysis. - Jordan Samhi; René Just; Tegawendé F. Bissyandé; Michael D. Ernst; Jacques Klein (ISSTA, 2024)

FRAFOL: FRAmework FOr Learning mutation testing. - Pedro Tavares; Ana C. R. Paiva; Domenico Amalfitano; René Just (ISSTA, 2024)

A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies. - Rock Yuren Pang; Sebastin Santy; René Just; Katharina Reinecke (IUI Companion, 2024)

Verifying the Option Type with Rely-Guarantee Reasoning. - James Yoo; Michael D. Ernst; René Just (ASE, 2024)

Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning". - James Yoo; Michael D. Ernst; René Just (Zenodo, 2024)

What Types of Automated Tests do Developers Write? - Marko Ivankovic; Luka Rimanic; Ivan Budiselic; Goran Petrovic; Gordon Fraser 001; René Just (AST@ICSE, 2025)

A Taxonomy of Failures in Tool-Augmented LLMs. - Cailin Winston; René Just (AST@ICSE, 2025)

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education. - Hannah Potter; Ana C. R. Paiva; Domenico Amalfitano; Anna Rita Fasolino; Porfirio Tramontana; René Just (SIGSOFT FSE Companion, 2025)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression. - Samuel J. Kaufman; René Just; Rastislav Bodík (CoRR, 2025)