TY - JOUR T1 - Amorphous Slicing of Extended Finite State Machines JO - IEEE Transactions on Software Engineering PY - 2013/07/22 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 - 2024/12/21 ER -