Syntax-Directed Amorphous Slicing

作者:Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Dave Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya

摘要

An amorphous slice of a program is constructed with respect to a set of variables. The amorphous slice is an executable program which preserves the behaviour of the original on the variables of interest. Unlike syntax-preserving slices, amorphous slices need not preserve a projection of the syntax of a program. This makes the task of amorphous slice construction harder, but it also often makes the result thinner and thereby preferable in applications where syntax preservation is unimportant.

论文关键词:amorphous slicing, conditioned slicing, transformation, WSL, FermaT

论文评审过程:

论文官网地址:https://doi.org/10.1023/B:AUSE.0000008667.37988.11