A data-flow approach to test multi-agent ASMs

DOI10.1007/S00165-009-0134-7MaRDI QIDQ539229zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1670469 (Why is no real title available?)
• scientific article; zbMATH DE number 1670514 (Why is no real title available?)
• 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 1543046 (Why is no real title available?)
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• A Data Flow Oriented Program Testing Strategy
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CoreASM: an extensible ASM execution engine
• Data Flow Analysis and Testing of Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• 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

Describes a project that uses

Uses Software

• Coverlipse
• ASM Workbench
• ASMETA
• SPIN
• CoreASM

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)