{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:37:41Z","timestamp":1747975061447,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319174037"},{"type":"electronic","value":"9783319174044"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17404-4_2","type":"book-chapter","created":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T08:45:59Z","timestamp":1429173959000},"page":"17-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification"],"prefix":"10.1007","author":[{"given":"Yuqin","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taku","family":"Sugihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuji","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,17]]},"reference":[{"key":"2_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":"2_CR2","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"2_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":"2_CR4","volume-title":"The Unified Modeling Language Reference Manual","author":"J Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley Object Technology Series, Boston (1998)"},{"key":"2_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, Sept 1999","DOI":"10.1007\/3-540-48166-4_18"},{"key":"2_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":"2_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automatically testing based on java predicates. In: ISSTA 2002 Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 123\u2013133 (2002)","DOI":"10.1145\/566172.566191"},{"key":"2_CR8","unstructured":"Marisa A. S\u2019anchez: Specification-based Testing. pp. 12\u201347 1997"},{"key":"2_CR9","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, CA, Nov. 2001"},{"key":"2_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, Ireland, June 2000","DOI":"10.1145\/337180.337616"},{"key":"2_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, Nov 2001","DOI":"10.1007\/3-540-47993-7_10"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima, S.: A vibration method for automatically generating test cases based on formal specifications. In: Software Engineering Conference, 2011 18th Asia Pacific, pp. 73\u201380, 5\u20138 Dec. 2011","DOI":"10.1109\/APSEC.2011.16"},{"key":"2_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, Singapore, pp. 147\u2013155, IEEE CS Press, 9\u201311 June 2010","DOI":"10.1109\/SSIRI.2010.11"},{"key":"2_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":"2_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."},{"key":"2_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, 58\u201359 (1993)","journal-title":"Univ. Comput."},{"key":"2_CR17","unstructured":"http:\/\/www.kailesoft.cn (cited 7.7.2014)"},{"key":"2_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.Test. Verif. Reliab. 9, 263\u2013282 (1999)","journal-title":"J. Softw.Test. Verif. Reliab."}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17404-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T16:44:04Z","timestamp":1747932244000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17404-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319174037","9783319174044"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17404-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}