{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:52Z","timestamp":1750306672484,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,12]],"date-time":"2014-07-12T00:00:00Z","timestamp":1405123200000},"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":[[2014,7,12]]},"DOI":"10.1145\/2576768.2598308","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"1231-1238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Improved heuristics for solving OCL constraints using search algorithms"],"prefix":"10.1145","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[{"name":"Simula Research Laboratory, Lysaker, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"additional","affiliation":[{"name":"and SnT Luxembourg, Luxembourg, Islamabad, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Lysaker, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Version 2.2. Available: http:\/\/www.omg.org\/spec\/OCL\/2.2\/","author":"OCL.","year":"2011","unstructured":"OCL. ( 2011 ). Object Constraint Language Specification , Version 2.2. Available: http:\/\/www.omg.org\/spec\/OCL\/2.2\/ OCL. (2011). Object Constraint Language Specification, Version 2.2. Available: http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Testing object-oriented systems: models, patterns, and tools: Addison-Wesley Longman Publishing Co","author":"Binder R. V.","year":"1999","unstructured":"R. V. Binder , Testing object-oriented systems: models, patterns, and tools: Addison-Wesley Longman Publishing Co ., Inc ., 1999 . R. V. Binder, Testing object-oriented systems: models, patterns, and tools: Addison-Wesley Longman Publishing Co., Inc., 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/QSIC.2011.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/TSE.2013.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1002\/stvr.v14:2"},{"unstructured":"S. Ali M. Z. Iqbal and A. Arcuri \"Empirically Evaluating Improved Heuristics for Test Data Generation from OCL Constraints using Search Algorithms \" Simula Research Laboratory2012.  S. Ali M. Z. Iqbal and A. Arcuri \"Empirically Evaluating Improved Heuristics for Test Data Generation from OCL Constraints using Search Algorithms \" Simula Research Laboratory2012.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/TSE.2009.52"},{"key":"e_1_3_2_1_9_1","volume-title":"Verification and Reliability","author":"Arcuri A.","year":"2011","unstructured":"A. Arcuri , \"It really does matter how you normalize the branch distance in search-based software testing,\" Software Testing , Verification and Reliability , 2011 . A. Arcuri, \"It really does matter how you normalize the branch distance in search-based software testing,\" Software Testing, Verification and Reliability, 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2338965.2336777"},{"key":"e_1_3_2_1_11_1","volume-title":"On Parameter Tuning in Search Based Software Engineering,\" presented at the International Symposium on Search Based Software Engineering (SSBSE)","author":"Arcuri A.","year":"2011","unstructured":"A. Arcuri and G. Fraser , \" On Parameter Tuning in Search Based Software Engineering,\" presented at the International Symposium on Search Based Software Engineering (SSBSE) , 2011 . A. Arcuri and G. Fraser, \"On Parameter Tuning in Search Based Software Engineering,\" presented at the International Symposium on Search Based Software Engineering (SSBSE), 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_13_1","volume-title":"Handbook of Parametric and Nonparametric Statistical Procedures: Chapman and Hall\/CRC","author":"Sheskin D. J.","year":"2007","unstructured":"D. J. Sheskin , Handbook of Parametric and Nonparametric Statistical Procedures: Chapman and Hall\/CRC , 2007 . D. J. Sheskin, Handbook of Parametric and Nonparametric Statistical Procedures: Chapman and Hall\/CRC, 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems,\" presented at the IADIS International Conference in Applied Computing","author":"Bordbar B.","year":"2005","unstructured":"B. Bordbar and K. Anastasakis , \" UML2Alloy: A tool for lightweight modelling of Discrete Event Systems,\" presented at the IADIS International Conference in Applied Computing , 2005 . B. Bordbar and K. Anastasakis, \"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems,\" presented at the IADIS International Conference in Applied Computing, 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"Towards model checking OCL,\" presented at the ECOOP-Workshop on Defining Precise Semantics for UML","author":"Distefano D.","year":"2000","unstructured":"D. Distefano , J.-P. Katoen , and A. Rensink , \" Towards model checking OCL,\" presented at the ECOOP-Workshop on Defining Precise Semantics for UML , 2000 . D. Distefano, J.-P. Katoen, and A. Rensink, \"Towards model checking OCL,\" presented at the ECOOP-Workshop on Defining Precise Semantics for UML, 2000."},{"key":"e_1_3_2_1_16_1","volume-title":"In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences","author":"Clavel M.","year":"2009","unstructured":"M. Clavel and M. A. G. d. Dios , \"Checking unsatisfiability for OCL constraints,\" presented at the In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences , 2009 . M. Clavel and M. A. G. d. Dios, \"Checking unsatisfiability for OCL constraints,\" presented at the In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/j.entcs.2008.04.038"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/337180.337616"},{"key":"e_1_3_2_1_19_1","volume-title":"Executing Underspecified OCL Operation Contracts with a SAT Solver,\" presented at the 8th International Workshop on OCL Concepts and Tools","author":"Krieger M.","year":"2008","unstructured":"M. Krieger and A. Knapp , \" Executing Underspecified OCL Operation Contracts with a SAT Solver,\" presented at the 8th International Workshop on OCL Concepts and Tools ., 2008 . M. Krieger and A. Knapp, \"Executing Underspecified OCL Operation Contracts with a SAT Solver,\" presented at the 8th International Workshop on OCL Concepts and Tools., 2008."},{"key":"e_1_3_2_1_20_1","volume-title":"UML-Casting: Test synthesis from UML models using constraint resolution,\" presented at the Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL'2003)","author":"v. Aertryck L.","year":"2003","unstructured":"L. v. Aertryck and T. Jensen , \" UML-Casting: Test synthesis from UML models using constraint resolution,\" presented at the Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL'2003) , 2003 . L. v. Aertryck and T. Jensen, \"UML-Casting: Test synthesis from UML models using constraint resolution,\" presented at the Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL'2003), 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_22_1","volume-title":"MoDELS","author":"Brucker A. D.","year":"2010","unstructured":"A. D. Brucker , M. P. Krieger , D. Longuet , and B. Wolff , \" A Specification-Based Test Case Generation Method for UML\/OCL,\" presented at the Worksshop on OCL and Textual Modelling , MoDELS , 2010 . A. D. Brucker, M. P. Krieger, D. Longuet, and B. Wolff, \"A Specification-Based Test Case Generation Method for UML\/OCL,\" presented at the Worksshop on OCL and Textual Modelling, MoDELS, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1109\/CIS.2007.221"}],"event":{"sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"acronym":"GECCO '14","name":"GECCO '14: Genetic and Evolutionary Computation Conference","location":"Vancouver BC Canada"},"container-title":["Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576768.2598308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2576768.2598308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:53Z","timestamp":1750230053000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576768.2598308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,12]]},"references-count":22,"alternative-id":["10.1145\/2576768.2598308","10.1145\/2576768"],"URL":"https:\/\/doi.org\/10.1145\/2576768.2598308","relation":{},"subject":[],"published":{"date-parts":[[2014,7,12]]},"assertion":[{"value":"2014-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}