René Just

发表

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

René Just, Franz Schweiggert, Gregory M. Kapfhammer, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

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

René Just, Paul Ammann, Goran Petrovic, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Do automated program repair techniques repair hard and important bugs?

Yuriy Brun, René Just, Manish Motwani, 2018, ICSE.

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

Michael D. Ernst, Gordon Fraser, René Just, 2015, Software Engineering & Management.

Quality of Automated Program Repair on Real-World Defects

Yuriy Brun, René Just, Manish Motwani, 2022, IEEE Transactions on Software Engineering.

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

Michael D. Ernst, Gordon Fraser, René Just, 2013, ArXiv.

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

René Just, René Just, 2014, ISSTA 2014.

Tea: A High-level Language and Runtime System for Automating Statistical Analysis

Katharina Reinecke, René Just, Jared Roesch, 2019, UIST.

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)

Gordon Fraser, Phil McMinn, René Just, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Do automated program repair techniques repair hard and important bugs?

Yuriy Brun, René Just, Manish Motwani, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

Unit Testing Tool Competition — Round Four

René Just, Urko Rueda, Juan P. Galeotti, 2016, 2016 IEEE/ACM 9th International Workshop on Search-Based Software Testing (SBST).

Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis

René Just, Franz Schweiggert, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

Automating unit and integration testing with partial oracles

René Just, Franz Schweiggert, René Just, 2011, Software Quality Journal.

Inferring mutant utility from program context

René Just, Paul Ammann, Bob Kurtz, 2017, ISSTA.

Benchmarking Testing Strategies with Tools from Mutation Analysis

René Just, Franz Schweiggert, Christoph Schneckenburger, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

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

René Just, Franz Schweiggert, René Just, 2015, Softw. Test. Verification Reliab..

Automating software tests with partial oracles in integrated environments

René Just, Franz Schweiggert, René Just, 2010, AST '10.

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

Michael D. Ernst, René Just, Suzanne Millstein, 2014, Software Engineering & Management.

Guiding Testing Effort Using Mutant Utility

René Just, Huzefa Rangwala, Paul Ammann, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)

Marcelo d'Amorim, Michael D. Ernst, René Just, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

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

Michael D. Ernst, René Just, Paul Ammann, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Using conditional mutation to increase the efficiency of mutation analysis

René Just, Franz Schweiggert, Gregory M. Kapfhammer, 2011, AST '11.

Evaluating and Improving Fault Localization

Michael D. Ernst, Rui Abreu, Gordon Fraser, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

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

Gregory Gay, René Just, 2020, SSBSE.

Efficient mutation analysis by propagating and partitioning infected execution states

Michael D. Ernst, Gordon Fraser, René Just, 2014, ISSTA 2014.

Special issue on mutation testing and analysis

René Just, Jens Krinke, Nan Li, 2019, Softw. Test. Verification Reliab..

Unit testing tool competition: round four

Tanja E. J. Vos, René Just, Urko Rueda, 2016, SBST@ICSE.

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis

René Just, Benjamin Kushigian, Amit Rawat, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Code coverage at Google

Gordon Fraser, René Just, Marko Ivankovic, 2019, ESEC/SIGSOFT FSE.

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

Michael D. Ernst, René Just, Darioush Jalali, 2014, ISSTA 2014.

Are mutants a valid substitute for real faults in software testing?

Michael D. Ernst, Gordon Fraser, René Just, 2014, SIGSOFT FSE.

On effective and efficient mutation analysis for unit and integration testing

René Just, 2013 .

Tailored Mutants Fit Bugs Better pdf

René Just, Charles A. Sutton, Miltiadis Allamanis, 2016, ArXiv.

Special issue on Mutation Testing

René Just, Mike Papadakis, 2017, Inf. Softw. Technol..