{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:47:30Z","timestamp":1725533250679},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024771"},{"type":"electronic","value":"9783642024788"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02478-8_43","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T22:46:41Z","timestamp":1244242001000},"page":"343-350","source":"Crossref","is-referenced-by-count":5,"title":["Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Molinero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Andr\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","first-page":"402","volume-title":"27th Int. Conf. on Software Engineering, ICSE 2005","author":"J.H. Andrews","year":"2005","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments. In: 27th Int. Conf. on Software Engineering, ICSE 2005, pp. 402\u2013411. ACM Press, New York (2005)"},{"issue":"3","key":"43_CR2","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1093\/comjnl\/bxl003","volume":"49","author":"K. Derderian","year":"2006","unstructured":"Derderian, K., Hierons, R.M., Harman, M., Guo, Q.: Automated Unique Input Output sequence generation for conformance testing of FSMs. Computer Journal\u00a049(3), 331\u2013344 (2006)","journal-title":"Computer Journal"},{"key":"43_CR3","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/ISSRE.1994.341378","volume-title":"5th IEEE Int. Symposium on Software Reliability Engineering, ISSRE 1994","author":"S.C.P.F. Fabbri","year":"1994","unstructured":"Fabbri, S.C.P.F., Delamaro, M.E., Maldonado, J.C., Masiero, P.C.: Mutation analysis testing for finite state machines. In: 5th IEEE Int. Symposium on Software Reliability Engineering, ISSRE 1994, pp. 220\u2013229. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"43_CR4","first-page":"65","volume-title":"4th IEEE Int. Workshop on Source Code Analysis and Manipulation, SCAM 2004","author":"D. Fatiregun","year":"2004","unstructured":"Fatiregun, D., Harman, M., Hierons, R.M.: Evolving transformation sequences using genetic algorithms. In: 4th IEEE Int. Workshop on Source Code Analysis and Manipulation, SCAM 2004, pp. 65\u201374. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"43_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-24617-6_12","volume-title":"Formal Approaches to Software Testing","author":"Q. Guo","year":"2004","unstructured":"Guo, Q., Hierons, R.M., Harman, M., Derderian, K.: Computing unique input\/ouput sequences using genetic algorithms. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 169\u2013184. Springer, Heidelberg (2004)"},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1145735.1145737","volume-title":"1st International Workshop on Random Testing","author":"D. Hamlet","year":"2006","unstructured":"Hamlet, D.: When only random testing will do. In: 1st International Workshop on Random Testing, pp. 1\u20139. ACM Press, New York (2006)"},{"key":"43_CR7","first-page":"970","volume-title":"Encyclopedia of Software Engineering","author":"R. Hamlet","year":"1994","unstructured":"Hamlet, R.: Random testing. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering, pp. 970\u2013978. Wiley, Chichester (1994)"},{"key":"43_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-24704-3_13","volume-title":"Testing of Communicating Systems","author":"T. Sugeta","year":"2004","unstructured":"Sugeta, T., Maldonado, J.C., Wong, W.E.: Mutation testing applied to validate SDL specifications. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 193\u2013208. Springer, Heidelberg (2004)"},{"issue":"4","key":"43_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surverys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surverys"}],"container-title":["Lecture Notes in Computer Science","Bio-Inspired Systems: Computational and Ambient Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02478-8_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T00:44:32Z","timestamp":1633567472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02478-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024771","9783642024788"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02478-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}