Amorphous Slicing of Extended Finite State Machines

Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt. Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng., 39(7):892-909, 2013. [doi]

Abstract

Abstract is missing.