René Just

Orcid: 0000-0002-5982-275X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies.
Proceedings of the Companion Proceedings of the 29th International Conference on Intelligent User Interfaces, 2024

FRAFOL: FRAmework FOr Learning mutation testing.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Call Graph Soundness in Android Static Analysis.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Productive Coverage: Improving the Actionability of Code Coverage.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

AI-Assisted Assessment of Coding Practices in Modern Code Review.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023
JUGE: An infrastructure for benchmarking Java unit test generators.
Softw. Test. Verification Reliab., May, 2023

rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality.
CoRR, 2023

Generate Compilers from Hardware Models!
CoRR, 2023

MuRS: Mutant Ranking and Suppression using Identifier Templates.
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?
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Practical Mutation Testing at Scale: A view from Google.
IEEE Trans. Software Eng., 2022

Quality of Automated Program Repair on Real-World Defects.
IEEE Trans. Software Eng., 2022

Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications.
ACM Trans. Comput. Hum. Interact., 2022

How do Java mutation tools differ?
Commun. ACM, 2022

Contextualized Programming Language Documentation.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Prioritizing Mutants to Guide Mutation Testing.
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.
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.
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.
CoRR, 2021

Removing biased data to improve fairness and accuracy.
CoRR, 2021

Does mutation testing improve testing practices?
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.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
Special issue on mutation testing and analysis.
Softw. Test. Verification Reliab., 2019

Tea: A High-level Language and Runtime System for Automating Statistical Analysis.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Code coverage at Google.
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.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Guiding testing effort using mutant utility.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Do automated program repair techniques repair hard and important bugs?
Empir. Softw. Eng., 2018

Comparing developer-provided to user-provided tests for fault localization and automated program repair.
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.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017
Special issue on Mutation Testing.
Inf. Softw. Technol., 2017

Inferring mutant utility from program context.
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.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Evaluating and improving fault localization.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Tailored Mutants Fit Bugs Better.
CoRR, 2016

Unit testing tool competition: round four.
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.
Softw. Test. Verification Reliab., 2015

Collaborative Verification of Information Flow for a High-Assurance App Store.
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.
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).
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).
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?
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Efficient mutation analysis by propagating and partitioning infected execution states.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

The major mutation framework: efficient and scalable mutation analysis for Java.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Collaborative Verification of Information Flow for a High-Assurance App Store.
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.
PhD thesis, 2013

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

2012
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Automating unit and integration testing with partial oracles.
Softw. Qual. J., 2011

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler.
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.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010
Automating software tests with partial oracles in integrated environments.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
Benchmarking Testing Strategies with Tools from Mutation Analysis.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008


  Loading...