{"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":1725533250038},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_39","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T18:46:41Z","timestamp":1244227601000},"page":"310-317","source":"Crossref","is-referenced-by-count":0,"title":["Applying Evolutionary Computation Methods to Formal Testing and Model Checking"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Rabanal","sequence":"first","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","first-page":"1066","volume-title":"GECCO 2007","author":"E. Alba","year":"2007","unstructured":"Alba, E., Chicano, F.: Finding safety errors with ACO. In: GECCO 2007, pp. 1066\u20131073. ACM Press, New York (2007)"},{"key":"39_CR2","first-page":"1735","volume-title":"GECCO 2008","author":"E. Alba","year":"2008","unstructured":"Alba, E., Chicano, F., Ferreira, M., Gomez-Pulido, J.: Finding deadlocks in large concurrent java programs using genetic algorithms. In: GECCO 2008, pp. 1735\u20131742. ACM Press, New York (2008)"},{"key":"39_CR3","first-page":"318","volume-title":"HICSS 2005","author":"D.J. Berndt","year":"2005","unstructured":"Berndt, D.J., Watkins, A.: High volume software testing using genetic algorithms. In: HICSS 2005, p. 318. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"39_CR4","first-page":"3","volume-title":"SEKE 2002","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C.: On the many ways software engineering can benefit from knowledge engineering. In: SEKE 2002, pp. 3\u20136. ACM Press, New York (2002)"},{"issue":"2","key":"39_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 10^20 states and beyond. Inf. Comput.\u00a098(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"volume-title":"Handbook of genetic algorithms","year":"1991","key":"39_CR6","unstructured":"Davis, L. (ed.): Handbook of genetic algorithms. Van Nostrand Reinhold, New York (1991)"},{"key":"39_CR7","volume-title":"IWANN 2009","author":"A. Encina de la","year":"2009","unstructured":"de la Encina, A., Hidalgo-Herrero, M., Rabanal, P., Rubio, F.: Applying evolutionary techniques to debug functional programs. In: IWANN 2009. Springer, Heidelberg (2009)"},{"key":"39_CR8","volume-title":"IWANN 2009","author":"K. Derderian","year":"2009","unstructured":"Derderian, K., Merayo, M., Hierons, R., N\u00fa\u00f1ez, M.: Aiding test case generation in temporally constrained state based systems using genetic algorithms. In: IWANN 2009. Springer, Heidelberg (2009)"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2465","DOI":"10.1007\/3-540-45110-2_150","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"K. Doerner","year":"2003","unstructured":"Doerner, K., Gutjahr, W.J.: Extracting test sequences from a markov software usage model by ACO. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02724, pp. 2465\u20132476. Springer, Heidelberg (2003)"},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/3477.484436","volume":"26","author":"M. Dorigo","year":"1996","unstructured":"Dorigo, M., Maniezzo, V., Colorni, A.: Ant system:optimization by a colony of cooperating agents. IEEE Tran Systems,Man & Cybernetics B\u00a026(1), 29\u201341 (1996)","journal-title":"IEEE Tran Systems,Man & Cybernetics B"},{"key":"39_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M. Dorigo","year":"2004","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)"},{"key":"39_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45089-0_5","volume-title":"Implementation and Application of Automata","author":"C. Fritz","year":"2003","unstructured":"Fritz, C.: Constructing b\u00fcchi automata from linear temporal logic using simulation relations for alternating b\u00fcchi automata. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 35\u201348. Springer, Heidelberg (2003)"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Verisoft: A tool for the automatic analysis of concurrent reactive software. 476\u2013479 (1997)","DOI":"10.1007\/3-540-63166-6_52"},{"key":"39_CR14","first-page":"266","volume-title":"Exploring very large state spaces using genetic algorithms","author":"P. Godefroid","year":"2002","unstructured":"Godefroid, P., Khurshid, S.: Exploring very large state spaces using genetic algorithms, pp. 266\u2013280. Springer, Heidelberg (2002)"},{"key":"39_CR15","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc., Redwood City (1989)"},{"key":"39_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-48234-2_11","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"K. Havelund","year":"1999","unstructured":"Havelund, K.: Java pathfinder, a translator from java to promela. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, p. 152. Springer, Heidelberg (1999)"},{"key":"39_CR17","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: ICNN 1995, vol.\u00a04 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"issue":"4598","key":"39_CR19","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt Jr., C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671 (1983)","journal-title":"Science"},{"key":"39_CR20","unstructured":"Li, H., Lam, C.P.: Software test data generation using ant colony optimization. In: International Conference on Computational Intelligence, pp. 1\u20134 (2004)"},{"key":"39_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2488","DOI":"10.1007\/3-540-45110-2_152","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"P. Mcminn","year":"2003","unstructured":"Mcminn, P., Holcombe, M.: The state problem for evolutionary testing. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02723, pp. 2488\u20132498. Springer, Heidelberg (2003)"},{"key":"39_CR22","volume-title":"IWANN 2009","author":"C. Molinero","year":"2009","unstructured":"Molinero, C., N\u00fa\u00f1ez, M., Andr\u00e9s, C.: Combining genetic algorithms and mutation testing to generate testing sequences. In: IWANN 2009. Springer, Heidelberg (2009)"},{"key":"39_CR23","unstructured":"Palshikar, G.K.: An introduction to model checking. Technical report (2004), http:\/\/www.embedded.com\/"},{"key":"39_CR24","doi-asserted-by":"publisher","DOI":"10.1142\/3821","volume-title":"Computational Intelligence in Software Engineering","author":"W. Pedrycz","year":"1998","unstructured":"Pedrycz, W., Peters, J.F.: Computational Intelligence in Software Engineering. World Scientific Publishing Co., Inc., Singapore (1998)"},{"key":"39_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87527-7_6","volume-title":"Ant Colony Optimization and Swarm Intelligence","author":"P. Rabanal","year":"2008","unstructured":"Rabanal, P., Rodr\u00edguez, I., Rubio, F.: Finding minimum spanning\/distances trees by using river formation dynamics. In: Dorigo, M., Birattari, M., Blum, C., Clerc, M., St\u00fctzle, T., Winfield, A.F.T. (eds.) ANTS 2008. LNCS, vol.\u00a05217. Springer, Heidelberg (2008)"},{"key":"39_CR26","volume-title":"IWANN 2009","author":"P. Rabanal","year":"2009","unstructured":"Rabanal, P., Rodriguez, I.: Testing restorable systems by using RFD. In: IWANN 2009. Springer, Heidelberg (2009)"},{"key":"39_CR27","volume-title":"IWANN 2009","author":"G. Rubio","year":"2009","unstructured":"Rubio, G., Pomares, H., Rojas, I., Guill\u00e9n, A.: Creation of specific-to-problem kernel functions for function approximation. In: IWANN 2009. Springer, Heidelberg (2009)"},{"issue":"10","key":"39_CR28","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J.A. Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering\u00a020(10), 812\u2013824 (1994)","journal-title":"IEEE Transactions on Software Engineering"}],"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_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:07:31Z","timestamp":1558361251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02478-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024771","9783642024788"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02478-8_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}