{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T20:49:43Z","timestamp":1771274983977,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/cec.2016.7743819","type":"proceedings-article","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T17:22:49Z","timestamp":1480526569000},"page":"379-386","source":"Crossref","is-referenced-by-count":6,"title":["Generating boundary values from OCL constraints using constraints rewriting and search algorithms"],"prefix":"10.1109","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69073-3_17"},{"key":"ref31","article-title":"Test case automate generation from uml sequence diagram and ocl expression","author":"bao-lin","year":"2007","journal-title":"presented at the International Conference on cimputational Intelligence and Security"},{"key":"ref30","article-title":"A Specification-Based Test Case Generation Method for UML\/OCL","author":"brucker","year":"2010","journal-title":"presented at the Worksshop on OCL and Textual Modelling"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11758549_100"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00182-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref14","article-title":"Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies","author":"ali","year":"2010","journal-title":"Simula Research Laboratory Technical Report"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0206-z"},{"key":"ref16","article-title":"A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation","volume":"99","author":"ali","year":"2009","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref17","article-title":"It really does matter how you normalize the branch distance in search-based software testing","author":"arcuri","year":"2011","journal-title":"Software Testing Verification and Reliability"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336777"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23716-4_6"},{"key":"ref28","article-title":"UML-Casting: Test synthesis from UML models using constraint resolution","author":"aertryck","year":"2003","journal-title":"presented at the Approches Formelles dans l'Assistance au Développement de Logiciels"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.17"},{"key":"ref27","article-title":"Executing Underspecified OCL Operation Contracts with a SAT Solver","author":"krieger","year":"2008","journal-title":"presented at the 8th International Workshop on OCL Concepts and Tools"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.17"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598308"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235572"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44857-1_2"},{"key":"ref2","year":"2011","journal-title":"Object Constraint Language OMG Specification Version 2 0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234486"},{"key":"ref1","author":"binder","year":"1999","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref22","article-title":"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems","author":"bordbar","year":"2005","journal-title":"presented at the IADIS International Conference in Applied Computing"},{"key":"ref21","author":"sheskin","year":"2007","journal-title":"Handbook of Parametric and Nonparametric Statistical Procedures"},{"key":"ref24","article-title":"Checking unsatisfiability for OCL constraints","author":"clavel","year":"2009","journal-title":"presented at the In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences"},{"key":"ref23","article-title":"Towards model checking OCL","author":"distefano","year":"2000","journal-title":"presented at the ECOOP-Workshop on Defining Precise Semantics for UML"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337616"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.038"}],"event":{"name":"2016 IEEE Congress on Evolutionary Computation (CEC)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2016,7,24]]},"end":{"date-parts":[[2016,7,29]]}},"container-title":["2016 IEEE Congress on Evolutionary Computation (CEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7636124\/7743769\/07743819.pdf?arnumber=7743819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T22:50:33Z","timestamp":1482187833000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7743819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cec.2016.7743819","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}