A Video Guide to GenSlice

Artifact

The GenSlice tool and replication package is available here.

Additional Proofs

Additional proofs for properties in the paper is available here.

Comparison of the Execution Time of Optimal Transformation Sequences

The table below shows the execution time of each optimal sequence on each subject. Column Reduction% is the reduction rate of GenSlice on the corresponding functionality.

Operator-wise Execution Time of Optimal Transformation Sequences

The charts below show the execution time of each operator of the optimal transformation sequences.

SD:

SCD:

CSD:

DSD:

CDSD:

DSCD:

CDSCD:

Operator-wise Reduction of Optimal Transformation Sequences

The charts below show the reduction (#changed lines) of each operator of the optimal transformation sequences.

SD:

SCD:

CSD:

DSD:

CDSD:

DSCD:

CDSCD: