{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:51:52Z","timestamp":1725637912410},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_2","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:05:35Z","timestamp":1322816735000},"page":"11-20","source":"Crossref","is-referenced-by-count":1,"title":["AgentSpeak (L) Based Testing of Autonomous Agents"],"prefix":"10.1007","author":[{"given":"Shafiq Ur","family":"Rehman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aamer","family":"Nadeem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alonso, F., Fuertes, J.L., Martinez, L., Soza, H.: Towards a set of Measures for Evaluating Software Agent Autonomy. In: Eighth Mexican International Conference on Artificial Intelligence, doi:978-0-7695-3933-1\/09, 10.1109\/MICAI.2009.15","DOI":"10.1109\/MICAI.2009.15"},{"key":"2_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"2_CR3","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons Ltd., The Atrium"},{"key":"2_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-25936-7_4","volume-title":"Programming Multi-Agent Systems","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable Multi-agent Programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"2_CR5","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Automated Unit Testing For Agent Systems. In: 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2007 (2007)"},{"key":"2_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI Agent Programming in AgentSpeak Using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"2_CR7","volume-title":"Proceedings of the 2004 ACM SIGSOFT international Symposium on Software Testing and Analysis, ISSTA 2004","author":"P. Tonella","year":"2004","unstructured":"Tonella, P.: Evolutionary Testing of Classes. In: Proceedings of the 2004 ACM SIGSOFT international Symposium on Software Testing and Analysis, ISSTA 2004. ACM, New York (2004)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Zheng, M., Alagart, V.S.: Conformance Testing of BDI Properties in Agent-based Software System. In: Proceedings of the 12th Asia-Pacific Software Engineering\u00a0Conference, APSEC 2005 (2005), doi:0-7695-2465-6\/05","DOI":"10.1109\/APSEC.2005.54"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-22636-6_6","volume-title":"Agent-Oriented Software Engineering XI","author":"T. Miller","year":"2011","unstructured":"Miller, T., Padgham, L., Thangarajah, J.: Test Coverage Criteria for Agent Interaction Testing. In: Weyns, D., Gleizes, M.-P. (eds.) AOSE 2010. LNCS, vol.\u00a06788, pp. 91\u2013105. Springer, Heidelberg (2011)"},{"key":"2_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-58855-8_25","volume-title":"Intelligent Agents","author":"D. Weerasooriya","year":"1995","unstructured":"Weerasooriya, D., Rao, A., Ramamohanarao, K.: Design of a Concurrent Agent-Oriented Language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, pp. 386\u2013401. Springer, Heidelberg (1995)"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1023\/A:1010011219782","volume":"2","author":"C.K. Low","year":"1999","unstructured":"Low, C.K., Chen, T.Y., Ronnquist, R.: Automated test case generation for BDI agents. Autonomous Agents and Multi-Agent Systems\u00a02(4), 311\u2013332 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR12","unstructured":"Winikoff, M., Cranefield, S.: On the testability of BDI agents. In: European Workshop on Multi-Agent Systems (2010)"},{"key":"2_CR13","unstructured":"Burmeister, B., Arnold, M., Copaciu, F., Rimassa, G.: BDI-agents for agile goal-oriented business processes. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 37\u201344. IFAAMAS (2008)"},{"key":"2_CR14","unstructured":"Shaw, P., Farwer, B., Bordini, R.: Theoretical and experimental results on the goal-plan tree problem. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1379\u20131382. IFAAMAS (2008)"},{"key":"2_CR15","unstructured":"Nguyen, C. D., Perinirini, A., Tonella, P.: Automated continuous testing of multi-agent systems. In: Proceedings of the Fifth European Workshop on Multi-Agent Systems (EUMAS) (2007)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 409\u2013416. ACM Press (2003)","DOI":"10.1145\/860575.860641"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","volume":"5","author":"F. Raimondi","year":"2007","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Applied Logic\u00a05(2), 235\u2013251 (2007)","journal-title":"J. Applied Logic"},{"key":"2_CR18","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology, Technical Report # DIT-02-0015"},{"key":"2_CR19","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Jason: A Java-based interpreter for an extended version of AgentSpeak, http:\/\/jason.sourceforge.net"},{"key":"2_CR20","volume-title":"Decentralized A.I. 3","author":"B. Burmeister","year":"1992","unstructured":"Burmeister, B., Sundermeyer, K.: Cooperative problem-solving guided by intentions and perception. In: Werner, E., Demazeau, Y. (eds.) Decentralized A.I. 3. North Holland, Amsterdam (1992)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Georgeff, M.P., Lansky, A.L.: Procedural knowledge. In: Proceedings of the IEEE Special Issue on Knowledge Representation, vol.\u00a074, pp. 1383\u20131398 (1986)","DOI":"10.1109\/PROC.1986.13639"},{"key":"2_CR22","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-58855-8_17","volume-title":"Intelligent Agents","author":"J.P. M\u00fcller","year":"1995","unstructured":"M\u00fcller, J.P., Pischel, M., Thiel, M.: Modelling Reactive Behaviour in Vertically Layered Agent Architectures. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, pp. 261\u2013276. Springer, Heidelberg (1995)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Michael, C.C., McGraw, G.E., Schatz, M.A., Walton, C.C.: Genetic Algorithms for Dynamic Test Data Generation. In: Proceedings of 12th IEEE International Conference on Automated Software Engineering, 1997, pp. 307\u2013308 (1997), doi:10.1109\/ASE.1997.632858","DOI":"10.1109\/ASE.1997.632858"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-Data Generation Using Genetic Algorithms. Journal of Software Testing, Verification and Reliability (1999)","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T01:41:39Z","timestamp":1560994899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}