defects4j
defects4j copied to clipboard
rjust
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Hello, I am wondering if it is possible to run a test case and collect log messages that reflect the system behavior. For example, for the Chart (jfreechart) project, can...
Hello The recent addition of -m flag in mutation analysis routine gives the option of selection of specific operator group for mutation analysis. I was wondering is there any way...
Apart from build failure, I am getting this warning [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is...
Hi, I noticed that for (at least one) Mockito's bug `defects4j export` deletes the test classes directory. For example, suppose that I checkout Mockito-25b and then I compile it: ```...
Hi @rjust When I use the following command to do the mutation test for Closure_23 fixed version root@freg-virtual-machine:/tmp# cd Closure_23_fix/ root@freg-virtual-machine:/tmp/Closure_23_fix# defects4j compile Running ant (compile)...................................................... OK Running ant (compile.tests)...................................................
Currently, Defects4J's version ids have the following format: `(f|b)`, where b refers to the minimized buggy and f to the fixed version. We should change the version id format to:...
From the conversation I had with René (via email), "the naming of the directory (patches) in the framework is ambiguous and probably confusing". Here there are some details from René:...
JxPath and Cli use non-standard target names like "compile-test" instead of "compile.test". I chose to do a string substitution on check-out to change the non-standard names to those expected (done...
The test script `test_export_command`currently checks whether the source and test directories are properly exported. It should also check whether the classpaths and lists of tests are properly exported.
Hi René, I've been running a sanity check on all test methods using `$D4J_HOME/framework/lib/formatter.jar` and `$D4J_HOME/framework/bin/defects4j test -t ...`, and there are two test methods to which the outcome of...