TY - GEN
T1 - Efficient method extraction for automatic elimination of type-3 clones
AU - Ettinger, Ran
AU - Tyszberowicz, Shmuel
AU - Menaia, Shay
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/3/21
Y1 - 2017/3/21
N2 - A semantics-preserving transformation by Komondoor and Horwitz has been shown to be most effective in the elimination of type-3 clones. The two original algorithms for realizing this transformation, however, are not as efficient as the related (slice-based) transformations. We present an asymptotically-faster algorithm that implements the same transformation via bidirectional reachability on a program dependence graph, and we prove its equivalence to the original formulation.
AB - A semantics-preserving transformation by Komondoor and Horwitz has been shown to be most effective in the elimination of type-3 clones. The two original algorithms for realizing this transformation, however, are not as efficient as the related (slice-based) transformations. We present an asymptotically-faster algorithm that implements the same transformation via bidirectional reachability on a program dependence graph, and we prove its equivalence to the original formulation.
UR - http://www.scopus.com/inward/record.url?scp=85018447159&partnerID=8YFLogxK
U2 - 10.1109/SANER.2017.7884633
DO - 10.1109/SANER.2017.7884633
M3 - Conference contribution
AN - SCOPUS:85018447159
T3 - SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering
SP - 327
EP - 337
BT - SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering
A2 - Bavota, Gabriele
A2 - Pinzger, Martin
A2 - Marcus, Andrian
PB - Institute of Electrical and Electronics Engineers
T2 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2017
Y2 - 21 February 2017 through 24 February 2017
ER -