Model-based testing
UML models provide an executable basis for deriving tests and examining coordination failures before deployment.
Research collection · 2008–2015
Multi-Agent Systems: Testing, Monitoring, and Emergent Behavior
Seven publications by Nariman Mani and collaborators trace a model-based research program for making interacting autonomous agents safer and easier to validate—from UML-driven deadlock testing to runtime monitoring and the detection of emergent behavior.
7 publications2008–2013IEEE · journal · thesis · AAMASModels → runtime evidence
The research arc
The early studies focus on a practical risk in multi-agent manufacturing systems: agents can wait on one another and produce a deadlock. The work uses UML behavioral models to support testing, conversion tooling, and monitoring. A 2010 journal article extends the approach with search-based testing, while the 2013 AAMAS publication addresses the wider challenge of detecting emergent behavior. Together, these works connect design models, automated analysis, and observations of running multi-agent systems.
Deadlock detection
The collection studies deadlock as an observable, testable failure mode in communicating autonomous agents.
Runtime monitoring
Generated monitoring artifacts connect design-time behavioral models to evidence collected from running systems.
Emergent behavior
Later work broadens the model-based approach from manufacturing deadlocks to unexpected system-level behavior.
Complete collection
Multi-agent systems bibliography
Ordered newest to oldest · Publisher links included
- 2013
Model-based approach to detect emergent behavior in multi-agent systems
M Moshirpour, Nariman Mani, A Eberlein, B Far
The 2013 international conference on Autonomous agents and multi-agent systems - AAMAS 2013
Saint Paul, MN, USA, 2013
- 2010
Search-based testing of multi-agent manufacturing systems for deadlocks based on models
Nariman Mani, V Garousi, BH Far
International Journal on Artificial Intelligence Tools - Vol. 19, No. 04, pp. 417-437 (2010)
2010
DOI: 10.1142/S0218213010000261
- 2009
Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models
Nariman Mani, V Garousi, BH Far
21st IEEE International Conference on Tools with Artificial Intelligence - IEEE ICTAI 2009
New Jersey, USA, 2009
DOI: 10.1109/ictai.2009.112
- 2009
M.Sc. Thesis : Testing and Monitoring Multi-Agent Systems for Deadlock Detection Based on UML Models
Nariman Mani
University of Calgary
Calgary, AB, Canada, 2009
DOI: 10.11575/PRISM/2700
- 2008
A UML-based conversion tool for monitoring and testing multi-agent systems
Nariman Mani, V Garousi, BH Far
20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - IEEE ICTAI 2008
Dayton, OH, USA, 2008
DOI: 10.1109/ictai.2008.114
- 2008
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
Nariman Mani, V Garousi, BH Far
14th International Conference on Distributed Multimedia Systems - DMS 2008
Boston, MA, USA, 2008
- 2008
Monitoring Multi-Agent Systems for deadlock detection based on UML models
Nariman Mani, V Garousi, BH Far
Canadian Conference on Electrical and Computer Engineering - CCECE 2008
Niagara Falls, Canada, 2008
DOI: 10.1109/ccece.2008.4564814
How to cite and reuse this research
Follow each title to its publisher, DOI record, repository, or scholarly index for the authoritative paper metadata. Cite the individual paper rather than this collection page. When reviewing prior work, terms that describe this collection include multi-agent systems testing, model-based deadlock detection, runtime monitoring of agent systems, and emergent behavior detection.
See the complete publication record for related work in software performance and model transformation.