{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:31:57Z","timestamp":1761597117907},"reference-count":15,"publisher":"Elsevier BV","issue":"11-12","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":1507,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers &amp; Mathematics with Applications"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1016\/j.camwa.2008.10.034","type":"journal-article","created":{"date-parts":[[2008,11,29]],"date-time":"2008-11-29T10:32:02Z","timestamp":1227954722000},"page":"1800-1807","source":"Crossref","is-referenced-by-count":7,"title":["Evolutionary generation of unique input\/output sequences for class behavioral testing"],"prefix":"10.1016","volume":"57","author":[{"given":"Jinhua","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wensheng","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhibing","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huangzhen","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.camwa.2008.10.034_b1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","article-title":"Test-data generation using genetic algorithms","volume":"9","author":"Pargas","year":"1999","journal-title":"Journal of Software Testing, Verifications, and Reliability"},{"key":"10.1016\/j.camwa.2008.10.034_b2","first-page":"1085","article-title":"Generating software data by evolution","volume":"12","author":"Christoph","year":"2001","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.camwa.2008.10.034_b3","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1142\/S0218194002001074","article-title":"Automatic test data generation for program path using genetic algorithms","volume":"6","author":"Bueno","year":"2002","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/j.camwa.2008.10.034_b4","series-title":"The Unified Modeling Language User Guide","author":"Booch","year":"1998"},{"key":"10.1016\/j.camwa.2008.10.034_b5","first-page":"174","article-title":"Testing software design modeled by finite state machines","volume":"3","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.camwa.2008.10.034_b6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2","article-title":"A test sequence selection method for statecharts","volume":"10","author":"Hong","year":"2000","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"10.1016\/j.camwa.2008.10.034_b7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.264","article-title":"Generating test data from state-based specifications","volume":"1","author":"Offutt","year":"2003","journal-title":"Journal of Software Testing, Verification and Reliability"},{"issue":"8","key":"10.1016\/j.camwa.2008.10.034_b8","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","article-title":"Principles and methods of testing finite state machines \u2014 A survey","volume":"84","author":"Lee","year":"1996","journal-title":"Proceedings of IEEE"},{"key":"10.1016\/j.camwa.2008.10.034_b9","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/12.272431","article-title":"Testing finite state machines: State identification and verification","volume":"3","author":"Lee","year":"1994","journal-title":"IEEE Transactions on Computer"},{"key":"10.1016\/j.camwa.2008.10.034_b10","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","article-title":"Formal methods for protocol testing: A detailed study","volume":"15","author":"Sidhu","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.camwa.2008.10.034_b11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S1383-7621(99)00003-X","article-title":"An extended UIO-based method for protocol conformance testing","volume":"46","author":"Buonanno","year":"2000","journal-title":"Journal of System Architecture"},{"key":"10.1016\/j.camwa.2008.10.034_b12","first-page":"331","article-title":"Automated unique input output sequence generation for conformance testing of FSMs","volume":"3","author":"Derderian","year":"2006","journal-title":"The Computer Journal"},{"key":"10.1016\/j.camwa.2008.10.034_b13","series-title":"Proc. of 3rd Int. Workshop Formal Approach to Software Testing","first-page":"169","article-title":"Computing unique input\/output sequences using genetic algorithms","volume":"vol. 2931","author":"Guo","year":"2004"},{"key":"10.1016\/j.camwa.2008.10.034_b14","series-title":"Genetic Algorithms in Search, Optimization, and Machine Learning","author":"Goldberg","year":"1989"},{"key":"10.1016\/j.camwa.2008.10.034_b15","series-title":"Genetic Algorithms + Data Structures = Evolution Programs","author":"Michalewicz","year":"1996"}],"container-title":["Computers &amp; Mathematics with Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S089812210800549X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S089812210800549X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,24]],"date-time":"2018-12-24T02:52:13Z","timestamp":1545619933000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S089812210800549X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":15,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["S089812210800549X"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.camwa.2008.10.034","relation":{},"ISSN":["0898-1221"],"issn-type":[{"value":"0898-1221","type":"print"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}