Data Flow Analysis and Testing of Abstract State Machines

DOI10.1007/978-3-540-87603-8_8zbMath1156.68469OpenAlexW1947116746MaRDI QIDQ3535367

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)

Related Items (1)

A data-flow approach to test multi-agent ASMs

Cites Work

• On-the-fly conformance testing using SPIN
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Abstract State Machines
• A Data Flow Oriented Program Testing Strategy
• Selecting Software Test Data Using Data Flow Information
• Abstract State Machines 2004. Advances in Theory and Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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