{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T02:21:02Z","timestamp":1751163662245,"version":"3.37.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/cec.2009.4983313","type":"proceedings-article","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T20:17:46Z","timestamp":1255551466000},"page":"2940-2947","source":"Crossref","is-referenced-by-count":5,"title":["Comparing algorithms for search-based test data generation of Matlab&amp;#x00AE; Simulink&amp;#x00AE; models"],"prefix":"10.1109","author":[{"given":"Kamran","family":"Ghani","sequence":"first","affiliation":[]},{"given":"John A.","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Yuan","family":"Zhan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2004.08.006"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45192-1_8"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1080\/08839510590917861"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"16","first-page":"1","article-title":"software test data generation using ant colony optimization","author":"li","year":"2004","journal-title":"International Conference on Computational Intelligence"},{"key":"13","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","article-title":"automatic structural testing using genetic algorithms","volume":"11","author":"jones","year":"1996","journal-title":"Software Engineering Journal"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6492-1_71"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732680"},{"journal-title":"Genetic Algorithm And Direct Search Toolbox The Mathworks Inc","year":"0","key":"21"},{"key":"20","first-page":"50","article-title":"software testing with evolutionary strategies","volume":"169","author":"alba","year":"2005","journal-title":"2nd Workshop on Rapid Integration of Software Engineering Techniques (RISE05)"},{"journal-title":"Search Based Test Data Generation for Simulink Models","year":"2005","author":"zhan","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_161"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068188"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1143997.1144319"},{"key":"26","first-page":"2455","article-title":"predicate expression cost functions to guide evolutionary search for test data","author":"bottaci","year":"2003","journal-title":"Proceeding of the Genetic and Evolutionary Computation Conference (GECCO03)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000024059.72478.4e"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"29","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"optimization by simulated annealing","volume":"220","author":"kirkpatrick","year":"1983","journal-title":"Science"},{"key":"3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"test-data generation using genetic algorithms","volume":"11","author":"rapps","year":"1985","journal-title":"IEEE Transactions of Software Engineering"},{"journal-title":"The Art of Software Testing","year":"1979","author":"myers","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"1","first-page":"1","volume":"5","year":"2004","journal-title":"Guide To Software Engineering Body Of Knowledge"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"6","first-page":"310","article-title":"automated software testing using a metaheuristic technique based on tabu search","author":"diaz","year":"2003","journal-title":"Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE'03)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1997.632858"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","first-page":"2455","year":"1992","key":"4"},{"journal-title":"A Search-Based Automated Test-data Generation Framework for safety-critical Softwares","year":"2000","author":"tracey","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/271771.271792","article-title":"automated program flaw finding using simulated annealing","author":"tracey","year":"1998","journal-title":"Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis"}],"event":{"name":"2009 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2009,5,18]]},"location":"Trondheim, Norway","end":{"date-parts":[[2009,5,21]]}},"container-title":["2009 IEEE Congress on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4939002\/4982922\/04983313.pdf?arnumber=4983313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T19:23:57Z","timestamp":1739388237000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4983313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/cec.2009.4983313","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}