{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:11Z","timestamp":1750308611395,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003074","name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT 2016-1384, 2015-0586, 2013-0080, 2015-2088"],"award-info":[{"award-number":["PICT 2016-1384, 2015-0586, 2013-0080, 2015-2088"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3194718.3194725","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"39-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["From operational to declarative specifications using a genetic algorithm"],"prefix":"10.1145","author":[{"given":"Facundo","family":"Molina","sequence":"first","affiliation":[{"name":"University of Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renzo","family":"Degiovanni","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Regis","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Castro","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Frias","sequence":"additional","affiliation":[{"name":"Buenos Aires Institute of Technology, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.46"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146251"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818761"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.15"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_8_1","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . Software Abstractions - Logic, Language, and Analysis . MIT Press , 2006 . Daniel Jackson. Software Abstractions - Logic, Language, and Analysis. MIT Press, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100137"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS","author":"Khurshid Sarfraz","year":"2003","unstructured":"Sarfraz Khurshid , Corina S. Pasareanu , and Willem Visser . Generalized symbolic execution for model checking and testing . In Hubert Garavel and John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003 , Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, volume 2619 of Lecture Notes in Computer Science , pages 553 -- 568 . Springer , 2003. Sarfraz Khurshid, Corina S. Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Hubert Garavel and John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, volume 2619 of Lecture Notes in Computer Science, pages 553--568. Springer, 2003."},{"key":"e_1_3_2_1_11_1","first-page":"389","volume-title":"Erika \u00e1brah\u00e1m and Klaus Havelund","author":"Kroening Daniel","year":"2014","unstructured":"Daniel Kroening and Michael Tautschnig . Cbmc - c bounded model checker . In Erika \u00e1brah\u00e1m and Klaus Havelund , editors, Tools and Algorithms for the Construction and Analysis of Systems, pages 389 -- 391 , Berlin, Heidelberg, 2014 . Springer Berlin Heidelberg . Daniel Kroening and Michael Tautschnig. Cbmc - c bounded model checker. In Erika \u00e1brah\u00e1m and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems, pages 389--391, Berlin, Heidelberg, 2014. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_12_1","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov Barbara","year":"2000","unstructured":"Barbara Liskov and John Guttag . Program Development in Java: Abstraction, Specification, and Object-Oriented Design . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1 st edition, 2000 . Barbara Liskov and John Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1st edition, 2000.","edition":"1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368223"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-319-49815-7_9","volume-title":"Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF","author":"Molina Facundo","year":"2016","unstructured":"Facundo Molina , C\u00e9sar Cornejo , Renzo Degiovanni , Germ\u00e1n Regis , Pablo F. Castro , Nazareno Aguirre , and Marcelo F. Frias . An evolutionary approach to translate operational specifications into declarative specifications . In Leila Ribeiro and Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016 , Natal, Brazil, November 23-25, 2016, Proceedings , volume 10090 of Lecture Notes in Computer Science , pages 145 -- 160 , 2016. Facundo Molina, C\u00e9sar Cornejo, Renzo Degiovanni, Germ\u00e1n Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias. An evolutionary approach to translate operational specifications into declarative specifications. In Leila Ribeiro and Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, volume 10090 of Lecture Notes in Computer Science, pages 145--160, 2016."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660232"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2389225"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"Tillmann Nikolai","year":"2008","unstructured":"Nikolai Tillmann and Jonathan de Halleux . Pex-white box test generation for .net . In Bernhard Beckert and Reiner H\u00e4hnle, editors, Tests and Proofs , Second International Conference, TAP 2008 , Prato, Italy, April 9-11, 2008. Proceedings, volume 4966 of Lecture Notes in Computer Science , pages 134 -- 153 . Springer , 2008. Nikolai Tillmann and Jonathan de Halleux. Pex-white box test generation for .net. In Bernhard Beckert and Reiner H\u00e4hnle, editors, Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, volume 4966 of Lecture Notes in Computer Science, pages 134--153. Springer, 2008."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 11th International Workshop on Search-Based Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194718.3194725","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194718.3194725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:23Z","timestamp":1750273643000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194718.3194725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":17,"alternative-id":["10.1145\/3194718.3194725","10.1145\/3194718"],"URL":"https:\/\/doi.org\/10.1145\/3194718.3194725","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}