Model Based Testing for Agent Systems

DOI10.1007/978-3-540-88655-6_30MaRDI QIDQ3612903zbMATH OpenOpenAlexFDO

Authors Zhi-Yong Zhang, John Thangarajah, Lin Padgham

Publication date 11 March 2009

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://rmit-researchmanagement.esploro.exlibrisgroup.com/view/delivery/61RMIT_INST/12247525660001341/13248381600001341

zbMATH Keywords

agent based systemsPrometheus agent developmenttesting

Mathematics Subject Classification ID

Theory of software (68N99) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Debugging and testing of multi-agent systems using design artefacts
• scientific article; zbMATH DE number 1759741
• Model-based testing of object-oriented systems.
• scientific article; zbMATH DE number 1950660
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

Cited in

(4)

• On the testability of BDI agent systems
• Using rewrite strategies for testing BUpL agents
• Debugging and testing of multi-agent systems using design artefacts
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

Describes a project that uses

Uses Software

• AETG

This page was built for publication: Model Based Testing for Agent Systems

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