TY  - JOUR

T1  - Amorphous Slicing of Extended Finite State Machines

JO  - IEEE Transactions on Software Engineering

UR  - https://doi.org/10.1109/tse.2012.72

PY  - 2013/06/25

AU  - Androutsopoulos K

AU  - Clark D

AU  - Harman M

AU  - Hierons RM

AU  - Li Z

AU  - Tratt L

ED  - 

DO  - DOI: 10.1109/tse.2012.72

PB  - Institute of Electrical and Electronics Engineers (IEEE)

VL  - 39

IS  - 7

SP  - 892

EP  - 909

Y2  - 2025/11/05

ER  -