Name
Papers
Collaborators
RENE JUST
41
84
Citations 
PageRank 
Referers 
958
33.77
1502
Referees 
References 
835
644
Search Limit
1001000
Title
Citations
PageRank
Year
Quality of Automated Program Repair on Real-World Defects20.362022
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications00.342022
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships00.342022
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition00.342022
Prioritizing Mutants to Guide Mutation Testing00.342022
Does mutation testing improve testing practices?10.352021
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size40.392020
Defects4J as a Challenge Case for the Search-Based Software Engineering Community.10.362020
Tea: A High-level Language and Runtime System for Automating Statistical Analysis.10.352019
Guiding testing effort using mutant utility00.342019
Code coverage at Google.30.372019
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis20.372019
Special issue on mutation testing and analysis.10.362019
Comparing developer-provided to user-provided tests for fault localization and automated program repair.50.382018
Do automated program repair techniques repair hard and important bugs?50.372018
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions70.422018
Special issue on Mutation Testing.10.362017
Inferring mutant utility from program context.90.462017
Private API Access and Functional Mocking in Automated Unit Test Generation50.432017
Evaluating and improving fault localization.571.092017
Tailored Mutants Fit Bugs Better.10.352016
Unit testing tool competition: round four.30.402016
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)260.742015
Collaborative Verification of Information Flow for a High-Assurance App Store.00.342015
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.00.342015
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators190.572015
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)531.062015
Are mutants a valid substitute for real faults in software testing?2114.432014
Defects4J: a database of existing faults to enable controlled testing studies for Java programs2465.432014
Collaborative Verification of Information Flow for a High-Assurance App Store370.982014
The major mutation framework: efficient and scalable mutation analysis for Java572.142014
Efficient mutation analysis by propagating and partitioning infected execution states351.132014
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis110.562013
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?321.072012
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis311.512012
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler531.702011
Using conditional mutation to increase the efficiency of mutation analysis160.982011
Automating unit and integration testing with partial oracles50.412011
Automating software tests with partial oracles in integrated environments30.422010
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis50.482009
Benchmarking Testing Strategies with Tools from Mutation Analysis100.602008