{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:41:42Z","timestamp":1730205702035,"version":"3.28.0"},"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":4,"title":["Generating boundary values from OCL constraints using constraints rewriting and search algorithms"],"prefix":"10.1109","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[]},{"given":"Xiang","family":"Qiu","sequence":"additional","affiliation":[]},{"given":"Hong","family":"Lu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-540-69073-3_17"},{"year":"2007","author":"bao-lin","journal-title":"presented at the International Conference on cimputational Intelligence and Security","article-title":"Test case automate generation from uml sequence diagram and ocl expression","key":"ref31"},{"year":"2010","author":"brucker","journal-title":"presented at the Worksshop on OCL and Textual Modelling","article-title":"A Specification-Based Test Case Generation Method for UML\/OCL","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/11758549_100"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2379776.2379787"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/S0304-3975(01)00182-7"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/32.57624"},{"year":"2010","author":"ali","journal-title":"Simula Research Laboratory Technical Report","article-title":"Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","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"},{"year":"2011","author":"arcuri","journal-title":"Software Testing Verification and Reliability","article-title":"It really does matter how you normalize the branch distance in search-based software testing","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/2338965.2336777"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-642-23716-4_6"},{"year":"2003","author":"aertryck","journal-title":"presented at the Approches Formelles dans l'Assistance au Développement de Logiciels","article-title":"UML-Casting: Test synthesis from UML models using constraint resolution","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/QSIC.2011.17"},{"year":"2008","author":"krieger","journal-title":"presented at the 8th International Workshop on OCL Concepts and Tools","article-title":"Executing Underspecified OCL Operation Contracts with a SAT Solver","key":"ref27"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TSE.2013.17"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1002\/stvr.294"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/ICSTW.2008.54"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2576768.2598308"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TSE.1982.235572"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-662-44857-1_2"},{"year":"2011","journal-title":"Object Constraint Language OMG Specification Version 2 0","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TSE.1980.234486"},{"year":"1999","author":"binder","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/1985793.1985795"},{"year":"2005","author":"bordbar","journal-title":"presented at the IADIS International Conference in Applied Computing","article-title":"UML2Alloy: A tool for lightweight modelling of Discrete Event Systems","key":"ref22"},{"year":"2007","author":"sheskin","journal-title":"Handbook of Parametric and Nonparametric Statistical Procedures","key":"ref21"},{"year":"2009","author":"clavel","journal-title":"presented at the In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences","article-title":"Checking unsatisfiability for OCL constraints","key":"ref24"},{"year":"2000","author":"distefano","journal-title":"presented at the ECOOP-Workshop on Defining Precise Semantics for UML","article-title":"Towards model checking OCL","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/337180.337616"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/j.entcs.2008.04.038"}],"event":{"name":"2016 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2016,7,24]]},"location":"Vancouver, BC, Canada","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]]}}}
