A data-flow approach to test multi-agent ASMs

DOI10.1007/s00165-009-0134-7zbMath1214.68210OpenAlexW2063949613MaRDI QIDQ539229

Alessandra Cavarra

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0134-7

zbMATH Keywords

abstract state machinesdata-flow analysismodel-based testing

Mathematics Subject Classification ID

Related Items (1)

Axiomatization and characterization of BSP algorithms

Uses Software

• CoreASM
• SPIN
• ASMETA
• ASM Workbench
• Coverlipse

Cites Work

• Data Flow Analysis and Testing of Abstract State Machines
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A Data Flow Oriented Program Testing Strategy
• Evolving Algebras 1993: Lipari Guide
• Selecting Software Test Data Using Data Flow Information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A data-flow approach to test multi-agent ASMs