Using rewrite strategies for testing BUpL agents

DOI10.1007/978-3-642-12592-8_11MaRDI QIDQ3558293zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

agent languagesrewriting strategiestesting

Mathematics Subject Classification ID

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

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

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)