Toward automatically quantifying the impact of a change in systems

State-based model slicing

(2013) Kelly Androutsopoulos et al.   ACM COMPUTING SURVEYS

Identifying the effects of modifications as data dependencies

(2013) Hüsnü Yenigün   SOFTWARE QUALITY JOURNAL

A survey of code-based change impact analysis techniques

(2012) Bixin Li et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Regression testing minimization, selection and prioritization: a survey

(2012) S. Yoo et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

B model slicing and predicate abstraction to generate tests

(2011) J. Julliand et al.   SOFTWARE QUALITY JOURNAL

Regression test suite prioritization using system models

(2011) Luay Tahat et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Rodin: an open toolset for modelling and reasoning in Event-B

(2010) Jean-Raymond Abrial et al.   International Journal on Software Tools for Technology Transfer

Regression test suite reduction based on SDL models of system requirements

(2009) Yanping Chen et al.   JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE

Slicing communicating automata specifications: polynomial algorithms for model reduction

(2008) Sébastien Labbé et al.   FORMAL ASPECTS OF COMPUTING