Data Flow Analysis and Testing of Abstract State Machines

DOI10.1007/978-3-540-87603-8_8zbMATH Open1156.68469OpenAlexW1947116746MaRDI QIDQ3535367FDOQ3535367

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract State Machines
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CoreASM: an extensible ASM execution engine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Data Flow Oriented Program Testing Strategy
• Selecting Software Test Data Using Data Flow Information
• Title not available (Why is that?)
• On-the-fly conformance testing using SPIN
• Abstract State Machines 2004. Advances in Theory and Practice
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• A data-flow approach to test multi-agent ASMs
• Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos
• Title not available (Why is that?)
• 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)