René Just

Results 14 issues of René Just

I took a first stab at implementing the two new version ids (#288 ). I focused on backward compatibility to avoid breaking existing functionality in the 2.0.0 release. I ended...

The initialize-revisions and analyze-project steps are iterative and can produce many warnings or errors, in particular in the first iteration. For example, an unknown project layout error usually applies to...

enhancement
bug-mining

The init script should be improved in three ways: 1. When re-executed, the init script skips downloading dependencies (unless there is a newer version) but unzips archives and sets symlinks....

enhancement
infrastructure

To improve the effectiveness of tests generated by Randoop, the wrapper script [randoop.sh](https://github.com/rjust/defects4j/blob/master/framework/lib/test_generation/bin/randoop.sh) should determine the set of all distinct packages (among all target classes) and invoke Randoop multiple times...

enhancement
external tools

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:...

enhancement
infrastructure

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.

enhancement
infrastructure

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...

enhancement
infrastructure
external tools

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...

enhancement

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...

enhancement

`compile-errors`: provides source and/or test patches that are applied in a post-checkout routine. These patches may fix build files, compilation errors, or test failures -- if the required changes are...