defects4j
defects4j copied to clipboard
rjust
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
The current version of the bug-mining framework creates a file named `dependent_tests` for each mined project. This file has the list of test methods that fail due to, e.g., some...
In Defects4J, Major is configured to determine all killed mutants and to compute the mutation score; Major does not compute a killmap by default. Computing a killmap, however, is required...
Hi, Because defects4j aims to prune out unnecessary changes for each bug, I think the patch for Math-65 should be minimized by excluding the changes in getRMS(). I believe that...
Hi @rjust, @djpaterson reported to me earlier today that mutation analysis does not finish for Chart-15, at least not with a three hours timeout. I have managed to reproduce the...
The `framework/util/rm_broken_tests.pl` script parses the output of a test suite compilation/execution and fixes failing test methods by replacing each broken test method with a dummy test method in the source...
Currently, Defects4J tags the buggy and the fixed version of a checked-out defect -- mainly for efficiency reasons. Some methods in Closure, however, read the current git tag. As a...
Dear René, I try to perform weak mutation testing in Defects4J. In the Major documentation, I found the mutation coverage map, but I am not so sure the mutation coverage...
Defects4J currently uses CSV files as DB backend, which are not adequate for all purposes. DBI supports various DB backends, but dbi:csv is currently hardcoded. Also, we should eliminate all...
The monitor.test command doesn't work. I installed the latest version of Defects4J. By running the following commands: ``` defects4j checkout -p Chart -v 1b -w Chart defects4j monitor.test -w Chart...
Hi Professors, I was trying to run some experiment with defects4j's major mutation testing framework and I have observed some wierd cases. For example, when applying the below mutant as...
