Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models

Yoosef Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff. Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1071-1079, ACM, 2015. [doi]

@inproceedings{AbusharkTMHW15,
  title = {Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models},
  author = {Yoosef Abushark and John Thangarajah and Tim Miller and James Harland and Michael Winikoff},
  year = {2015},
  url = {http://dl.acm.org/citation.cfm?id=2773287},
  researchr = {https://researchr.org/publication/AbusharkTMHW15},
  cites = {0},
  citedby = {0},
  pages = {1071-1079},
  booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015},
  editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind},
  publisher = {ACM},
  isbn = {978-1-4503-3413-6},
}