1. Pěchouček, M., Mařík, V.: Industrial deployment of multi-agent technologies: review and selected case studies. Journal of Autonomous Agents and Multi-Agent Systems 17, 397–431 (2008). DOI 10.1007/s10458-008-9050-0
2. Dill, D.L.: What’s between simulation and formal verification? (extended abstract). In: DAC ’98: Proceedings of the 35th annual conference on Design automation, pp. 328–329. ACM, New York, NY, USA (1998). DOI 10.1145/277044.277138
3. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)
4. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M.: A flexible framework for verifying agent programs. In: Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1303–1306. IFAAMAS (2008)
5. Zhou, Z.Q., Huang, D., Tse, T., Yang, Z., Huang, H., Chen, T.: Metamorphic testing and its applications. In: Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004) (2004). Published as Hong Kong University (HKU) Computer Science (CS) Technical Report TR-2004-12