A data-flow approach to test multi-agent ASMs

DOI10.1007/S00165-009-0134-7zbMATH Open1214.68210OpenAlexW2063949613MaRDI QIDQ539229FDOQ539229

Authors: 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

Recommendations

• Data Flow Analysis and Testing of Abstract State Machines
• Using Model Checking to Generate Fault Detecting Tests
• scientific article; zbMATH DE number 1951206
• scientific article; zbMATH DE number 1670520
• Concurrent abstract state machines

zbMATH Keywords

model-based testingabstract state machinesdata-flow analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Evolving Algebras 1993: Lipari Guide
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Title not available (Why is that?)
• CoreASM: an extensible ASM execution engine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data Flow Analysis and Testing of Abstract State Machines
• 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

Cited In (4)

• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Axiomatization and characterization of BSP algorithms
• Software Test Data Generation Based on Multi-agent
• Data Flow Analysis and Testing of Abstract State Machines

Uses Software

• CoreASM
• SPIN
• ASMETA
• ASM Workbench
• Coverlipse

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

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