Data Flow Analysis and Testing of Abstract State Machines

DOI10.1007/978-3-540-87603-8_8MaRDI QIDQ3535367zbMATH OpenOpenAlexFDO

Authors Alessandra Cavarra

Publication date 11 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87603-8_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A data-flow approach to test multi-agent ASMs
• Using Model Checking to Generate Fault Detecting Tests
• scientific article; zbMATH DE number 1951206
• The abstract state machines method for high-level system design and analysis
• scientific article; zbMATH DE number 1543047

Cites work

• scientific article; zbMATH DE number 1701780 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1951195 (Why is no real title available?)
• scientific article; zbMATH DE number 1538047 (Why is no real title available?)
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• scientific article; zbMATH DE number 2102699 (Why is no real title available?)
• scientific article; zbMATH DE number 821280 (Why is no real title available?)
• A Data Flow Oriented Program Testing Strategy
• Abstract State Machines
• Abstract State Machines 2004. Advances in Theory and Practice
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CoreASM: an extensible ASM execution engine
• On-the-fly conformance testing using SPIN
• Selecting Software Test Data Using Data Flow Information

Cited in

(5)

• A data-flow approach to test multi-agent ASMs
• scientific article; zbMATH DE number 1951206 (Why is no real title available?)
• Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos
• scientific article; zbMATH DE number 1951195 (Why is no real title available?)
• Using Model Checking to Generate Fault Detecting Tests

This page was built for publication: Data Flow Analysis and Testing of Abstract State Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535367)