@article{androutsopoulos_clark_harman_hierons_li_tratt__amorphous_slicing_of_extended_finite_state_machines,
    author    = {Kelly Androutsopoulos and David Clark and Mark Harman and Robert M. Hierons and Zheng Li and Laurence Tratt},
    title     = {Amorphous Slicing of Extended Finite State Machines},
    journal   = {IEEE Trans.~Software Engineering},
    volume    = {39},
    number    = {7},
    year      = {2013},
    pages     = {892-909},
    ee        = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.72}
}