A brief survey of program slicing

B Xu, J Qian, X Zhang, Z Wu, L Chen - ACM SIGSOFT Software …, 2005 - dl.acm.org
Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …

Requirements interaction management

WN Robinson, SD Pawlowski, V Volkov - ACM Computing Surveys …, 2003 - dl.acm.org
Requirements interaction management (RIM) is the set of activities directed toward the
discovery, management, and disposition of critical relationships among sets of requirements …

Test cases generation from UML state diagrams

YG Kim, HS Hong, DH Bae, SD Cha - IEE Proceedings-Software, 1999 - IET
The paper discusses the application of state diagrams in UML to class testing. A set of
coverage criteria is proposed based on control and data flow in UML state diagrams and it is …

Slicing software for model construction

J Hatcliff, MB Dwyer, H Zheng - Higher-order and symbolic computation, 2000 - Springer
Applying finite-state verification techniques (eg, model checking) to software requires that
program source code be translated to a finite-state transition system that safely models …

[PDF][PDF] Semantics and verification of UML activity diagrams for workflow modelling

H Eshuis - 2002 - research.tue.nl
Although I wrote this thesis, I couldn't have done it without the help of several people. First of
all, l thank my promotor Roel Wieringa, who managed to find time to read my ohscmc …

Slicing of state-based models

B Korel, I Singh, L Tahat… - … Conference on Software …, 2003 - ieeexplore.ieee.org
System modeling is a widely used technique to model state-based systems. Several state-
based languages are used to model such systems, eg, EFSM (extended finite state …

Advanced slicing of sequential and concurrent programs

J Krinke - 20th IEEE International Conference on Software …, 2004 - ieeexplore.ieee.org
Program slicing is a technique to identify statements that may influence the computations in
other statements. Despite the ongoing research of almost 25 years, program slicing still has …

[图书][B] Industrial-strength formal methods in practice

MG Hinchey, JP Bowen - 2012 - books.google.com
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance
for anyone who needs to apply formal methods successfully in an industrial context. Each …

State-based model slicing: A survey

K Androutsopoulos, D Clark, M Harman… - ACM Computing …, 2013 - dl.acm.org
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 …

Slicing hierarchical automata for model checking UML statecharts

W Ji, D Wei, Q Zhi-Chang - International Conference on Formal …, 2002 - Springer
Hierarchical Automata has been widely used in modeling dynamic aspects of reactive
software, such as in UML Statecharts. At the same time, model checking is an automatic …