Data Flow Analysis and Testing of Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_8 ◽

2008 ◽

pp. 85-97 ◽

Author(s):

Alessandra Cavarra

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Abstract State Machines ◽

Data Flow Analysis

Download Full-text

Inter-agent Data Flow Analysis of Abstract State Machines

2009 Australian Software Engineering Conference ◽

10.1109/aswec.2009.29 ◽

2009 ◽

Author(s):

Alessandra Cavarra

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Abstract State Machines ◽

Data Flow Analysis

Download Full-text

Data flow analysis of communicating finite state machines

ACM Transactions on Programming Languages and Systems ◽

10.1145/117009.117015 ◽

1991 ◽

Vol 13 (3) ◽

pp. 399-442 ◽

Author(s):

Wuxu Peng ◽

S. Puroshothaman

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Finite State Machines ◽

State Machines ◽

Data Flow Analysis ◽

Download Full-text

Data-Flow Analysis of Extended Finite State Machines

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.22 ◽

2011 ◽

Author(s):

Yu Bai ◽

Jens Brandt ◽

Klaus Schneider

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Finite State Machines ◽

State Machines ◽

Data Flow Analysis ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Improving the coverage criteria of UML state machines using data flow analysis

Software Testing Verification and Reliability ◽

10.1002/stvr.410 ◽

2009 ◽

Vol 20 (3) ◽

pp. 177-207 ◽

Author(s):

Lionel Briand ◽

Y. Labiche ◽

Q. Lin

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Data Flow Analysis ◽

Coverage Criteria ◽

Uml State Machines ◽

Download Full-text

Incremental data flow analysis in a structured program editor

ACM SIGPLAN Notices ◽

10.1145/502949.502888 ◽

1984 ◽

Vol 19 (6) ◽

pp. 132-143 ◽

Author(s):

Frank Kenneth Zadeck

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Structured Program

Download Full-text

Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.06.019 ◽

2007 ◽

Vol 176 (3) ◽

pp. 97-108 ◽

Author(s):

Wolfram Amme ◽

Marc-André Möller ◽

Philipp Adler

Keyword(s):

Data Flow ◽

Flow Analysis ◽

General Concept ◽

Data Flow Analysis

Download Full-text

Data flow analysis of applicative programs using minimal function graphs

10.1145/512644.512672 ◽

1986 ◽

Author(s):

Neil D. Jones ◽

Alan Mycroft

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Minimal Function

Download Full-text

On Probabilistic Techniques for Data Flow Analysis

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.07.005 ◽

2007 ◽

Vol 190 (3) ◽

pp. 59-77 ◽

Author(s):

Alessandra Di Pierro ◽

Chris Hankin ◽

Herbert Wiklicky

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text

Implementation techniques for efficient data-flow analysis of large programs

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 ◽

10.1109/icsm.2001.972711 ◽

2002 ◽

Author(s):

D.C. Atkinson ◽

W.G. Griswold

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Implementation Techniques ◽

Download Full-text

May/must analysis and the DFAGen data-flow analysis generator

Information and Software Technology ◽

10.1016/j.infsof.2009.04.014 ◽

2009 ◽

Vol 51 (10) ◽

pp. 1440-1453 ◽

Author(s):

Andrew Stone ◽

Michelle Strout ◽

Shweta Behere

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text