乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T03:51:30Z","timestamp":1726113090721},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030665333"},{"type":"electronic","value":"9783030665340"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-66534-0_2","type":"book-chapter","created":{"date-parts":[[2021,1,6]],"date-time":"2021-01-06T09:29:30Z","timestamp":1609925370000},"page":"21-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Aplib: Tactical Agents for Testing Computer Games"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-3421-4635","authenticated-orcid":false,"given":"I. S. W. B.","family":"Prasetya","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-4641-4087","authenticated-orcid":false,"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-5370-1893","authenticated-orcid":false,"given":"Rui","family":"Prada","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6003-9113","authenticated-orcid":false,"given":"Tanja E. J.","family":"Vos","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-5103-8127","authenticated-orcid":false,"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-1860-8666","authenticated-orcid":false,"given":"Fitsum","family":"Kifetew","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,7]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Automated web application testing using search based software engineering. In: 26th International Conference on Automated Software Engineering. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100082"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.infsof.2016.01.012","volume":"73","author":"E Al\u00e9groth","year":"2016","unstructured":"Al\u00e9groth, E., Feldt, R., Kolstr\u00f6m, P.: Maintenance of automated test suites in industry: an empirical study on visual GUI testing. Inf. Softw. Technol. 73, 66\u201380 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2016","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2016)"},{"issue":"8","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bai, X., Chen, B., Ma, B., Gong, Y.: Design of intelligent agents for collaborative testing of service-based systems. In: 6th International Workshop on Automation of Software Test. ACM (2011)","DOI":"10.1145\/1982595.1982601"},{"key":"2_CR6","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: JADE-a FIPA-compliant agent framework. In: Proceedings of PAAM (1999)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bezirgiannis, N., Prasetya, I., Sakellariou, I.: Hlogo: A parallel Haskell variant of NetLogo. In: 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH). IEEE (2016)","DOI":"10.5220\/0005983501190128"},{"key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4","volume-title":"Programming Multi-agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason, vol. 8. John Wiley & Sons, Hoboken (2007)"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Auton. Agent Multi-Agent Syst. 16(3), 214\u2013248 (2008). https:\/\/doi.org\/10.1007\/s10458-008-9036-y","journal-title":"Auton. Agent Multi-Agent Syst."},{"issue":"2\/3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1504\/IJAOSE.2016.080896","volume":"5","author":"M Dastani","year":"2016","unstructured":"Dastani, M., Testerink, B.: Design patterns for multi-agent programming. Int. J. Agent-Oriented Softw. Eng. 5(2\/3), 167\u2013202 (2016)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-0-387-89299-3_2","volume-title":"Multi-Agent Programming","author":"G De Giacomo","year":"2009","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J., Sardina, S.: IndiGolog: a high-level programming language for embedded reasoning agents. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 31\u201372. Springer, Boston, MA (2009). https:\/\/doi.org\/10.1007\/978-0-387-89299-3_2"},{"key":"2_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-44404-1_7","volume-title":"Logic for Programming and Automated Reasoning","author":"D Delahaye","year":"2000","unstructured":"Delahaye, D.: A tactic language for the system coq. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNAI, vol. 1955, pp. 85\u201395. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44404-1_7"},{"key":"2_CR13","unstructured":"Denti, E., Omicini, A., Calegari, R.: tuProlog: Making Prolog ubiquitous. ALP Newsletter, October 2013"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-12973-0_3","volume-title":"Emotion Modeling","author":"J Dias","year":"2014","unstructured":"Dias, J., Mascarenhas, S., Paiva, A.: FAtiMA modular: towards an agent architecture with a generic appraisal framework. In: Bosse, T., Broekens, J., Dias, J., van der Zwaan, J. (eds.) Emotion Modeling. LNCS (LNAI), vol. 8750, pp. 44\u201356. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12973-0_3"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (2007)","DOI":"10.1145\/1353673.1353681"},{"issue":"1\u20133","key":"2_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst, M.D., et al.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1016\/j.jss.2015.08.046","volume":"110","author":"R Evertsz","year":"2015","unstructured":"Evertsz, R., Thangarajah, J., Yadav, N., Ly, T.: A framework for modelling tactical decision-making in autonomous systems. J. Syst. Softw. 110, 222\u2013238 (2015)","journal-title":"J. Syst. Softw."},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.scico.2017.01.003","volume":"139","author":"L Fichera","year":"2017","unstructured":"Fichera, L., Messina, F., Pappalardo, G., Santoro, C.: A Python framework for programming autonomous robots using a declarative approach. Sci. Comput. Program. 139, 36\u201355 (2017)","journal-title":"Sci. Comput. Program."},{"key":"2_CR19","unstructured":"Fowler, M., Evans, E.: Fluent interface. martinfowler.com (2005). https:\/\/martinfowler.com\/bliki\/FluentInterface.html"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"2_CR21","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, Boston (1994)"},{"key":"2_CR22","volume-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","author":"MJ Gordon","year":"1993","unstructured":"Gordon, M.J., Melham, T.F.: Introduction to HOL A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, New York (1993)"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s13218-016-0457-5","volume":"31","author":"A Herzig","year":"2017","unstructured":"Herzig, A., Lorini, E., Perrussel, L., Xiao, Z.: BDI logics for BDI architectures: old problems, new perspectives. KI-K\u00fcnstliche Intelligenz 31(1), 73\u201383 (2017). https:\/\/doi.org\/10.1007\/s13218-016-0457-5","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"key":"2_CR24","unstructured":"Hindriks, K.V.: Programming Cognitive Agents in GOAL (2018). https:\/\/goalapl.atlassian.net\/wiki\/spaces\/GOAL\/overview"},{"key":"2_CR25","unstructured":"Iotti, E.: An agent-oriented programming language for JADE multi-agent systems. Ph.D. thesis, Universit\u00e0 di Parma. Dipartimento di Ingegneria e Architettura (2018)"},{"key":"2_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03678-5","volume-title":"Agent Technology: Foundations, Applications, and Markets","author":"N Jennings","year":"1998","unstructured":"Jennings, N., Jennings, N.R., Wooldridge, M.J.: Agent Technology: Foundations, Applications, and Markets. Springer Science & Business Media, Berlin (1998). https:\/\/doi.org\/10.1007\/978-3-662-03678-5"},{"issue":"7","key":"2_CR27","doi-asserted-by":"publisher","first-page":"979","DOI":"10.1016\/j.engappai.2008.09.005","volume":"22","author":"P Leit\u00e3o","year":"2009","unstructured":"Leit\u00e3o, P.: Agent-based distributed manufacturing control: a state-of-the-art survey. Eng. Appl. Artifi. Intell. 22(7), 979\u2013991 (2009)","journal-title":"Eng. Appl. Artifi. Intell."},{"issue":"1\u20133","key":"2_CR28","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31(1\u20133), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verif. Reliabi. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliabi."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Merabet, G.H., et al.: Applications of multi-agent systems in smart grids: a survey. In: International conference on multimedia computing and systems (ICMCS), pp. 1088\u20131094. IEEE (2014)","DOI":"10.1109\/ICMCS.2014.6911384"},{"key":"2_CR31","unstructured":"Meyer, J.J., Broersen, J., Herzig, A.: Handbook of Logics for Knowledge and Belief, chap. BDI Logics, pp. 453\u2013498. College Publications (2015)"},{"key":"2_CR32","unstructured":"Meyer, J. J. C.: Agent technology. In: Wah, B.W. (ed.) Encyclopedia of Computer Science and Engineering. John Wiley & Sons (2008)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Miao, H., Chen, S., Qian, Z.: A formal open framework based on agent for testing web applications. In: International Conference on Computational Intelligence and Security (CIS). IEEE (2007)","DOI":"10.1109\/CIS.2007.200"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: a practical agent-oriented methodology. In: Agent-Oriented Methodologies. IGI Global (2005)","DOI":"10.4018\/978-1-59140-581-8.ch005"},{"issue":"02","key":"2_CR35","doi-asserted-by":"publisher","first-page":"86","DOI":"10.4236\/jsea.2011.42010","volume":"4","author":"S Paydar","year":"2011","unstructured":"Paydar, S., Kahani, M.: An agent-based framework for automated testing of web-based systems. J. Softw. Eng. Appl. 4(02), 86 (2011)","journal-title":"J. Softw. Eng. Appl."},{"key":"2_CR36","unstructured":"Qi, Y., Kung, D., Wong, E.: An agent-based testing approach for web applications. In: 29th International Computer Software and Applications Conference (COMPSAC), vol. 2. IEEE (2005)"},{"key":"2_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming-Languages. Platforms and Applications","author":"H Rafael","year":"2005","unstructured":"Rafael, H., Mehdi, D., J\u00fcrgen, D., Amal, E.: Multi-Agent Programming-Languages. Platforms and Applications. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/b137449"},{"key":"2_CR38","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. 3rd International Conference on Principles of Knowledge Representation and Reasoning (1992)"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Rodriguez, S., Gaud, N., Galland, S.: SARL: a general-purpose agent-oriented Programming language. In: International Conference on Intelligent Agent Technology. IEEE (2014)","DOI":"10.1109\/WI-IAT.2014.156"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-0-387-34768-4_26","volume-title":"7th International Conference on Automated Deduction","author":"DA Schmidt","year":"1984","unstructured":"Schmidt, D.A.: A programming notation for tactical reasoning. In: Shostak, R.E. (ed.) CADE 1984. LNCS, vol. 170, pp. 445\u2013459. Springer, New York (1984). https:\/\/doi.org\/10.1007\/978-0-387-34768-4_26"},{"key":"2_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-89299-3","volume-title":"Multi-Agent Programming: Languages Tools and Applications","author":"AEF Seghrouchni","year":"2009","unstructured":"Seghrouchni, A.E.F., Dix, J., Dastani, M., Bordini, R.H.: Multi-Agent Programming: Languages Tools and Applications. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-89299-3"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419\u2013423. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817963_38"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Vos, T., et al.: FITTEST: a new continuous and automated testing process for future internet applications. In: CSMR-WCRE. IEEE (2014)","DOI":"10.1109\/CSMR-WCRE.2014.6747206"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-66534-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T14:37:00Z","timestamp":1670683020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-66534-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030665333","9783030665340"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-66534-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"7 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Auckland","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Zealand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas2020.in.tu-clausthal.de\/about.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"63% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}