Using rewrite strategies for testing BUpL agents

DOI10.1007/978-3-642-12592-8_11zbMATH Open1284.68154OpenAlexW2157630400MaRDI QIDQ3558293FDOQ3558293

Lăcrămioara Aştefănoaei, M. Birna van Riemsdijk, Frank S. de Boer

Publication date: 4 May 2010

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12592-8_11

Recommendations

• Using the Maude term rewriting language for agent development with formal foundations
• Model Based Testing for Agent Systems
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Prototyping 3APL in the Maude Term Rewriting Language
• On the testability of BDI agent systems

zbMATH Keywords

testingrewriting strategiesagent languages

Mathematics Subject Classification ID

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

Cited In (1)

• Applying Formal Methods: Testing, Performance, and M/E-Commerce

This page was built for publication: Using rewrite strategies for testing BUpL agents

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