René Just

According to our database, René Just authored at least 56 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies.

Rock Yuren Pang, Sebastin Santy, René Just, Katharina Reinecke

Proceedings of the Companion Proceedings of the 29th International Conference on Intelligent User Interfaces, 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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

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., May, 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

Generate Compilers from Hardware Models!

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

CoRR, 2023

MuRS: Mutant Ranking and Suppression using Identifier Templates.

Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Please fix this mutant: How do developers resolve mutants surfaced during code review?

Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

On the Applicability of Language Models to Block-Based Programs.

Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Practical Mutation Testing at Scale: A view from Google.

Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just

IEEE Trans. Software Eng., 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

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

How do Java mutation tools differ?

Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just

Commun. ACM, 2022

Contextualized Programming Language Documentation.

Hannah Potter, Ardi Madadi, René Just, Cyrus Omar

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 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

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Prioritizing Mutants to Guide Mutation Testing.

Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions.

Yuren Pang, Katharina Reinecke, René Just

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships.

Eunice Jun, Audrey Seo, Jeffrey Heer, René Just

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

Practical Mutation Testing at Scale.

Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just

CoRR, 2021

Removing biased data to improve fairness and accuracy.

Sahil Verma, Michael D. Ernst, René Just

CoRR, 2021

Does mutation testing improve testing practices?

Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Defects4J as a Challenge Case for the Search-Based Software Engineering Community.

Gregory Gay, René Just

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.

Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Special issue on mutation testing and analysis.

René Just, Jens Krinke, Nan Li, José Miguel Rojas

Softw. Test. Verification Reliab., 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

Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Code coverage at Google.

Marko Ivankovic, Goran Petrovic, René Just, Gordon Fraser

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis.

Benjamin Kushigian, Amit Rawat, René Just

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Guiding testing effort using mutant utility.

Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Do automated program repair techniques repair hard and important bugs?

Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun

Empir. Softw. Eng., 2018

Comparing developer-provided to user-provided tests for fault localization and automated program repair.

René Just, Chris Parnin, Ian Drosos, Michael D. Ernst

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.

Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Special issue on Mutation Testing.

Mike Papadakis, René Just

Inf. Softw. Technol., 2017

Inferring mutant utility from program context.

René Just, Bob Kurtz, Paul Ammann

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Private API Access and Functional Mocking in Automated Unit Test Generation.

Andrea Arcuri, Gordon Fraser, René Just

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Evaluating and improving fault localization.

Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Tailored Mutants Fit Bugs Better.

Miltiadis Allamanis, Earl T. Barr, René Just, Charles Sutton

CoRR, 2016

Unit testing tool competition: round four.

Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

2015

Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators.

René Just, Franz Schweiggert

Softw. Test. Verification Reliab., 2015

Collaborative Verification of Information Flow for a High-Assurance App Store.

René Just, Michael D. Ernst, Suzanne Millstein

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.

René Just, Michael D. Ernst, Gordon Fraser

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 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, Phil McMinn, Andrea Arcuri

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

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

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

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

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Defects4J: a database of existing faults to enable controlled testing studies for Java programs.

René Just, Darioush Jalali, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Efficient mutation analysis by propagating and partitioning infected execution states.

René Just, Michael D. Ernst, Gordon Fraser

Proceedings of the International Symposium on Software Testing and Analysis, 2014

The major mutation framework: efficient and scalable mutation analysis for Java.

René Just

Proceedings of the International Symposium on Software Testing and Analysis, 2014

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

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

On effective and efficient mutation analysis for unit and integration testing.

René Just

PhD thesis, 2013

Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis

René Just, Michael D. Ernst, Gordon Fraser

CoRR, 2013

2012

Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.

René Just, Gregory M. Kapfhammer, Franz Schweiggert

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?

René Just, Gregory M. Kapfhammer, Franz Schweiggert

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Automating unit and integration testing with partial oracles.

René Just, Franz Schweiggert

Softw. Qual. J., 2011

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler.

René Just, Franz Schweiggert, Gregory M. Kapfhammer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Using conditional mutation to increase the efficiency of mutation analysis.

René Just, Gregory M. Kapfhammer, Franz Schweiggert

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

Automating software tests with partial oracles in integrated environments.

René Just, Franz Schweiggert

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis.

René Just, Franz Schweiggert

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Benchmarking Testing Strategies with Tools from Mutation Analysis.

Ralph Guderlei, René Just, Christoph Schneckenburger, Franz Schweiggert

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008