{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:24:50Z","timestamp":1780053890123,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238220","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"520-531","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["A genetic algorithm for goal-conflict identification"],"prefix":"10.1145","author":[{"given":"Renzo","family":"Degiovanni","sequence":"first","affiliation":[{"name":"National University of R\u00edo Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Facundo","family":"Molina","sequence":"additional","affiliation":[{"name":"National University of R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Germ\u00e1n","family":"Regis","sequence":"additional","affiliation":[{"name":"National University of R\u00edo Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"National University of R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Java genetic algorithms package (jgap). http:\/\/jgap.sourceforge.net.  Java genetic algorithms package (jgap). http:\/\/jgap.sourceforge.net."},{"key":"e_1_3_2_1_2_1","unstructured":"The reactive synthesis competition. www.syntcomp.org.  The reactive synthesis competition. www.syntcomp.org."},{"key":"e_1_3_2_1_3_1","unstructured":"Synthesis competition repository. https:\/\/bitbucket.org\/swenjacobs\/syntcomp\/.  Synthesis competition repository. https:\/\/bitbucket.org\/swenjacobs\/syntcomp\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337306"},{"key":"e_1_3_2_1_5_1","volume-title":"Counter-strategy guided refinement of GR(1) temporal logic specifications. CoRR, abs\/1308.4113","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Salar Moarref , and Ufuk Topcu . Counter-strategy guided refinement of GR(1) temporal logic specifications. CoRR, abs\/1308.4113 , 2013 . Rajeev Alur, Salar Moarref, and Ufuk Topcu. Counter-strategy guided refinement of GR(1) temporal logic specifications. CoRR, abs\/1308.4113, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_37"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345805"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912246"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320413"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1787526.1787535"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180261"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970349"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_25"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"key":"e_1_3_2_1_19_1","first-page":"1996","volume-title":"Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996","author":"Finkelstein A.","unstructured":"A. Finkelstein and J. Dowell . A comedy of errors: The london ambulance service case study . In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996 , pages 2\u2013, Washington, DC, USA, 1996 . IEEE Computer Society. A. Finkelstein and J. Dowell. A comedy of errors: The london ambulance service case study. In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996, pages 2\u2013, Washington, DC, USA, 1996. IEEE Computer Society."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/560394"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646220.682186"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/534133"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2137662.2137683"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581355"},{"issue":"52","key":"e_1_3_2_1_26_1","first-page":"57","article-title":"A conceptual basis for inconsistency management in model-based systems engineering","volume":"21","author":"Herzig Sebastian J.I.","year":"2014","unstructured":"Sebastian J.I. Herzig and Christiaan J.J. Paredis . A conceptual basis for inconsistency management in model-based systems engineering . Procedia CIRP , 21 : 52 \u2013 57 , 2014 . Sebastian J.I. Herzig and Christiaan J.J. Paredis. A conceptual basis for inconsistency management in model-based systems engineering. Procedia CIRP, 21:52 \u2013 57, 2014.","journal-title":"Procedia CIRP"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1098691"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.24"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.38"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985866"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_19"},{"key":"e_1_3_2_1_32_1","volume-title":"IEE Proceedings E, 130(1):1+","author":"Kramer J.","year":"1983","unstructured":"J. Kramer , J. Magee , M. Sloman , and A. Lister . CONIC: an integrated approach to distributed computer control systems. Computers and Digital Techniques , IEE Proceedings E, 130(1):1+ , 1983 . J. Kramer, J. Magee, M. Sloman, and A. Lister. CONIC: an integrated approach to distributed computer control systems. Computers and Digital Techniques, IEE Proceedings E, 130(1):1+, 1983."},{"key":"e_1_3_2_1_33_1","volume-title":"Reasoning about agents in goal-oriented requirements engineering","author":"Letier Emmanuel","year":"2001","unstructured":"Emmanuel Letier . Reasoning about agents in goal-oriented requirements engineering , 2001 . Emmanuel Letier. Reasoning about agents in goal-oriented requirements engineering, 2001."},{"key":"e_1_3_2_1_34_1","volume-title":"Sat-based explicit LTL reasoning. CoRR, abs\/1507.02519","author":"Li Jianwen","year":"2015","unstructured":"Jianwen Li , Shufang Zhu , Geguang Pu , and Moshe Y. Vardi . Sat-based explicit LTL reasoning. CoRR, abs\/1507.02519 , 2015 . Jianwen Li, Shufang Zhu, Geguang Pu, and Moshe Y. Vardi. Sat-based explicit LTL reasoning. CoRR, abs\/1507.02519, 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2010.26"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23391-3_3"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/648063.747434"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/229930"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320418"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9202-6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3127\/ajis.v6i2.296"},{"key":"e_1_3_2_1_45_1","first-page":"888","volume-title":"CAD","author":"Roy Suchismita","year":"2005","unstructured":"Suchismita Roy , Sayantan Das , Prasenjit Basu , Pallab Dasgupta , and P. P. Chakrabarti . Sat based solutions for consistency problems in formal property specifications for open systems . In CAD , pages 885\u2013 888 , 2005 . Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, and P. P. Chakrabarti. Sat based solutions for consistency problems in formal property specifications for open systems. In CAD, pages 885\u2013888, 2005."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220920.3221237"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.11.004"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240298"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39597-3_11"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.31"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"e_1_3_2_1_52_1","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"van Lamsweerde Axel","year":"2009","unstructured":"Axel van Lamsweerde . Requirements Engineering - From System Goals to UML Models to Software Specifications . Wiley , 2009 . Axel van Lamsweerde. Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, 2009."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302169"},{"key":"e_1_3_2_1_55_1","unstructured":"ASE \u201918 September 3\u20137 2018 Montpellier France R. Degiovanni F. Molina G. Regis and N. Aguirre  ASE \u201918 September 3\u20137 2018 Montpellier France R. Degiovanni F. Molina G. Regis and N. Aguirre"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":56,"alternative-id":["10.1145\/3238147.3238220","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238220","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}