{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:40:09Z","timestamp":1748806809652,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312194"},{"type":"electronic","value":"9783319312200"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31220-0_5","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T13:59:52Z","timestamp":1457791192000},"page":"59-71","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning"],"prefix":"10.1007","author":[{"given":"Yuji","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taku","family":"Sugihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Horcher, H.-M.: Improving software tests using Z specifications. In: Proceeding 9th International Conference of Z Users, The Z Formal specification Notation (1995)","DOI":"10.1007\/3-540-60271-2_118"},{"key":"5_CR2","unstructured":"Spivey, J.M.: The Z notation: A Reference Manual, 2nd edn. Prentice Hall (1992)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B. (ed.) UML 1999. LNCS, vol. 1723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"5_CR4","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley Object Technology Series (1998)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Chang, J., Richardson, D.J.: Structural specification-based testing: automated support and experimental evaluation. In: Proceeding 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 285\u2013302, September 1999","DOI":"10.1145\/318774.318948"},{"key":"5_CR6","unstructured":"Sanker, S., Hayes, R.: Specifying and testing software components using ADL. Technical Report SMLI TR-94-23, Cun Microsystems Laboratories, Inc., Mountain View, CA, April 1994"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automatically testing based on java predicates. ISSTA 2002 Proceedings of the ACM SIGSOFT International Symposium on Software testing and analysis, pp. 123\u2013133 (2002)","DOI":"10.1145\/566172.566191"},{"key":"5_CR8","unstructured":"S\u00e1nchez, M.A.: Specification-based Testing, pp. 12\u201347 (1997)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Marinov, D., Khurshid, S.: TestEra: a novel framework for automated testing of Java programs. In: Proceeding 16th IEEE International Conference on Automated Software Engineering, San Diego, November 2001","DOI":"10.1109\/ASE.2001.989787"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: the alloy constraint analyzer. In: Proceeding 22nd international Conference on Software Engineering(ICSE), Limerick, June 2000","DOI":"10.1145\/337180.337616"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: the JML and JUnit way. Technical Report 01\u201312, Department of Computer Science, Iowa State University, November 2001","DOI":"10.1007\/3-540-47993-7_10"},{"key":"5_CR12","unstructured":"Liu, S., Nakajima, S.: A \u201cVibration\" method for automatically generating test cases based on formal specifications. In: Software Engineering Conference, 2011 18th Asia Pacific, pp. 73\u201380, 5\u20138 December 2011"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima, S.: A decompositional approach to automatic test cases generation based on formal specification. In 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, pp. 147\u2013155. IEEE CS Press, Singapore, 9\u201311 June 2010","DOI":"10.1109\/SSIRI.2010.11"},{"key":"5_CR14","volume-title":"Modern Heuristic Techniques for Combinatorial Problems","author":"CR Reeves","year":"1993","unstructured":"Reeves, C.R.: Modern Heuristic Techniques for Combinatorial Problems. Blackwell Scientific, Oxford (1993)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/0377-2217(95)00159-X","volume":"94","author":"JE Beasley","year":"1996","unstructured":"Beasley, J.E.: A genetic algorithm for the set covering problem. Eur. J. Oper. Res. 94, 392\u2013404 (1996)","journal-title":"Eur. J. Oper. Res."},{"issue":"2","key":"5_CR16","first-page":"58","volume":"15","author":"D Beasley","year":"1993","unstructured":"Beasley, D., Bull, D.R., Martin, R.R.: An overview of genetic algorithms: Part I, fundamentals. Univ. Comput. 15(2), 58\u201359 (1993)","journal-title":"Univ. Comput."},{"key":"5_CR17","unstructured":"http:\/\/www.kailesoft.cn (cited 7 July 2014)"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"RP Pargas","year":"1999","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data generation using genetic algorithms. J. Softw. Testing Verification Reliab. 9(4), 263\u2013282 (1999)","journal-title":"J. Softw. Testing Verification Reliab."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","first-page":"17","volume-title":"Structured Object-Oriented Formal Language and Method","author":"Y Zhou","year":"2015","unstructured":"Zhou, Y., Sugihara, T., Sato, Y.: Applying GA with Tabu list for automatically generating test cases based on formal specification. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2014. LNCS, vol. 8979, pp. 17\u201331. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31220-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:22:15Z","timestamp":1748805735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}