José Campos
José Campos
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...
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...
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...
Hi, After signing a piece of text with gpgSignText([signing_key]), _message, 1); I want to verify that signature. So, I run gpgVerify(_message_signed);. But that function always returns { data: "-----BEGIN PGP...
Strictly speaking, the `modified_classes` directory (and the `classes.modified` property) lists the set of modified **java files** which may or may not be that set of modified **classes**. Although in most...
Hi @rjust, Have you performed mutation analysis on all bugs recently? I've just done it and it has failed on 92 bugs. | Bug | Failure | |:----|:--------| | Chart-10...
Hi @rjust and @Greg4cr, While performing the analyzis described in #500 I found two bug-introducing patches that could further improved, regarding the changes each patch makes to some import statements....
Hi @lin-tan, Any chance you could provide a quick step-by-step on how to run CoCoNut on any Defects4J bug, e.g., Closure-133, or QuixBugs bug? Thanks in advance.
Hi @tdurieux, I have been debugging the root cause of some errors/exceptions thrown by some repair tools and I noticed that the binaries provided by the RTA infrastructure do not...