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]

@article{AndroutsopoulosCHHLT13,
  title = {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},
  year = {2013},
  doi = {10.1109/TSE.2012.72},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.72},
  researchr = {https://researchr.org/publication/AndroutsopoulosCHHLT13},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {39},
  number = {7},
  pages = {892-909},
}