A data-flow approach to test multi-agent ASMs
From MaRDI portal
(Redirected from Publication:539229)
Recommendations
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)
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)