False negatives by Slicer4J

[shrBadihi]

Here are three defects4J cases from the chart project (as examples) that Slicer4J does not produce the full slice for. The uploaded zip file (Google Drive) contains these three cases. Inside each case, there is a "bug" folder containing the program and a file "failing_tests" which includes the failing test and the line number as the slicing criteria. In addition, there is a "results" folder in each case that includes "REASESlice" and "EARSETrace" outputted by another slicing tool (for your reference) and a "Slicer4JResults" folder which includes the output of the Slicer4J in this case. I also provided the mapping between the EARSETrace and Slicer4J Trace to make the comparison of slices easier. More specifically, the cases are:

• Case 4:

  • ERASE: trace=27085, slice=256
  • Slicer4J: trace=26607, slice=11
  • Here is how I run the slicer4J on this example:
  • python3 /PATH_TO/Slicer4J/scripts/slicer4j.py -j /PATH_TO/4/results/new/program.jar -o /PATH_TO/4/results/new/Slicer4JResults -b org.jfree.chart.axis.junit.LogAxisTests:260 -tc org.jfree.chart.axis.junit.LogAxisTests -tm testXYAutoRange1 -dep /PATH_TO/4/bug/lib

• Case 15

  • ERASE: trace=2987, slice=782
  • Slicer4J: trace=2718, slice=14
  • Here is how I run the slicer4J on this example:
  • python3 /PATH_TO/Slicer4J/scripts/slicer4j.py -j /PATH_TO/15/results/new/program.jar -o /PATH_TO/15/results/new/Slicer4JResults -b org.jfree.chart.plot.junit.PiePlot3DTests:151 -tc org.jfree.chart.plot.junit.PiePlot3DTests -tm testDrawWithNullDataset -dep /PATH_TO/15/bug/lib

• Case 19

  • ERASE: trace=40415, slice=551
  • Slicer4J: trace=39768, slice=1
  • Here is how I run the slicer4J on this example:
  • python3 /PATH_TO/Slicer4J/scripts/slicer4j.py -j /PATH_TO/19/results/new/program.jar -o /PATH_TO/19/results/new/Slicer4JResults -b org.jfree.chart.plot.junit.CategoryPlotTests:761 -tc org.jfree.chart.plot.junit.CategoryPlotTests -tm testGetRangeAxisIndex -dep /PATH_TO/19/bug/lib