State-based model slicing: A survey

@article{Androutsopoulos2013StatebasedMS,
  title={State-based model slicing: A survey},
  author={Kelly Androutsopoulos and David J Clark and Mark Harman and Jens Krinke and Laurence Tratt},
  journal={ACM Comput. Surv.},
  year={2013},
  volume={45},
  pages={53:1-53:36}
}
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program that affect the values computed at a statement of interest. In recent years authors have begun to consider slicing at model level. We present a detailed review of existing work on slicing at the level of finite-state-machine-based models. We focus on state-based modeling notations because these have received sufficient attention from the slicing community that there is now a coherent body of… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS
24 Citations
23 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 23 references

Model Checking

  • E. M. CLARKE, O. GRUMBERG, D. A. PELED
  • CMIT Press.
  • 1999
Highly Influential
12 Excerpts

Jumbala — an action language for UML state machines

  • J. DUBROVIN
  • Research Report HUT-TCSA101, Helsinki University…
  • 2006
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…