{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:47:51Z","timestamp":1725727671457},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388583"},{"type":"electronic","value":"9783642388590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38859-0_11","type":"book-chapter","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T04:59:51Z","timestamp":1369803591000},"page":"143-156","source":"Crossref","is-referenced-by-count":2,"title":["Towards the Automatic Identification of Faulty Multi-Agent Based Simulation Runs Using MASTER"],"prefix":"10.1007","author":[{"given":"Chris J.","family":"Wright","sequence":"first","affiliation":[]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[]},{"given":"Julio","family":"Gallardo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"JUnit, \n                    \n                      http:\/\/www.junit.org\n                    \n                    \n                   (accessed: April 2012)"},{"key":"11_CR2","unstructured":"libAnomaly, \n                    \n                      http:\/\/www.cs.ucsb.edu\/~seclab\/projects\/libanomaly\/index.html\n                    \n                    \n                   (accessed: April 2012)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.jtbi.2007.09.015","volume":"250","author":"K. Bentley","year":"2008","unstructured":"Bentley, K., Gerhardt, H., Bates, P.: Agent-based simulation of notch-mediated tip cell selection in angiogenic sprout initialisation. Journal of Theoretical Biology\u00a0250, 25\u201336 (2008)","journal-title":"Journal of Theoretical Biology"},{"issue":"7256","key":"11_CR4","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1038\/460680a","volume":"460","author":"M. Buchanan","year":"2009","unstructured":"Buchanan, M.: Meltdown modelling. Could agent-based computer models prevent another financial crisis? Nature\u00a0460(7256), 680\u2013682 (2009)","journal-title":"Nature"},{"key":"11_CR5","unstructured":"Chang, G., Roth, C.B., Reyes, C.L., Pornillos, O., Chen, Y.-J., Chen, A.P.: Science\u00a0314, 1875 (2006); Retraction of: Pornillos, et al.: Science\u00a0310(5756), 1950-1953; Reyes, Chang: Science\u00a0308(5724), 1028-1031; Chang, Roth: Science\u00a0293(5536), 1793\u20131800"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., Lucena, C.: JAT: A Test Automation Framework for Multi-Agent Systems. In: 2007 IEEE International Conference on Software Maintenance, pp. 425\u2013434 (October 2007)","DOI":"10.1109\/ICSM.2007.4362655"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Cova, M., Kruegel, C., Vigna, G.: Detection and analysis of drive-by-download attacks and malicious javascript code. In: Proceedings of the International World Wide Web Conference (WWW 2010), pp. 281\u2013290. ACM Press (2010)","DOI":"10.1145\/1772690.1772720"},{"issue":"7256","key":"11_CR8","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1038\/460685a","volume":"460","author":"J. Farmer","year":"2009","unstructured":"Farmer, J., Foley, D.: The economy needs agent-based modelling. Nature\u00a0460(7256), 685\u2013686 (2009)","journal-title":"Nature"},{"issue":"5","key":"11_CR9","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y. Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering\u00a037(5), 649\u2013678 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR10","unstructured":"Kiran, M., Richmond, P., Holcombe, M., Chin, L.S., Worth, D., Greenough, C.: FLAME: simulating large populations of agents on parallel hardware architectures. In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 1633\u20131636. ACM Press (2010)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-39650-5_19","volume-title":"Computer Security \u2013 ESORICS 2003","author":"C. Kruegel","year":"2003","unstructured":"Kruegel, C., Mutz, D., Valeur, F., Vigna, G.: On the detection of anomalous system call arguments. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 326\u2013343. Springer, Heidelberg (2003)"},{"key":"11_CR12","unstructured":"Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K.: Mason: A new multi-agent simulation toolkit. In: Proceedings of the 2004 SwarmFest Workshop (2004)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.-R.: MuJava: An automated class mutation system. Journal of Software Testing, Verification and Reliability, 97\u2013133 (2005)","DOI":"10.1002\/stvr.308"},{"key":"11_CR14","unstructured":"Muaz Niazi, A.H., Kolberg, M.: Verification and validation of agent-based simulation using the vomas approach. In: Proceedings of the Third Workshop on Multi-Agent Systems and Simulation 2009, MASS 2009 (2009)"},{"key":"11_CR15","unstructured":"Nguyen, C., Perini, A.: Automated continuous testing of multi-agent systems. In: Workshop on Multi-Agent Systems (2007)"},{"key":"11_CR16","unstructured":"Simons, K.: Model error\u2014evaluation of various finance models. New England Economic Review, 17\u201328 (1997)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1098\/rsif.2007.0227","volume":"4","author":"T. Sun","year":"2007","unstructured":"Sun, T., McMinn, P., Coakley, S., Holcombe, M., Smallwood, R., MacNeil, S.: An integrated systems biology approach to understanding the rules of keratinocyte colony formation. Journal of the Royal Society Interface\u00a04, 1077\u20131092 (2007)","journal-title":"Journal of the Royal Society Interface"},{"key":"11_CR18","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), pp. 10\u201318. Citeseer (2007)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent-Based Simulation XIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38859-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T11:56:45Z","timestamp":1557748605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38859-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388583","9783642388590"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38859-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}