{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:16:19Z","timestamp":1761707779619,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319108","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"247-254","source":"Crossref","is-referenced-by-count":12,"title":["Combining behavior and data modeling in automated test case generation"],"prefix":"10.1109","author":[{"given":"P.J.","family":"Schroeder","sequence":"first","affiliation":[]},{"family":"Eok Kim","sequence":"additional","affiliation":[]},{"given":"J.","family":"Arshem","sequence":"additional","affiliation":[]},{"given":"P.","family":"Bolaki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"journal-title":"Automated Software Testing Introduction Management and Performance","year":"1999","author":"dustin","key":"ref10"},{"journal-title":"Software Test Automation Effective use of test execution tools","year":"1999","author":"fewster","key":"ref11"},{"journal-title":"Systematic Software Testing","year":"2002","author":"craig","key":"ref12"},{"key":"ref13","article-title":"Automated Test Generation from a Behavioral Model","author":"clarke","year":"1998","journal-title":"Proceedings of the 11th International Software Quality Week (QW'98)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"journal-title":"Using TestMaster","year":"1995","author":"corporation","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/6.632499"},{"key":"ref17","first-page":"113","article-title":"Customer Satisfaction Based Product Development for the International Definity® System","author":"abramson","year":"1992","journal-title":"Proceedings of the XIV International Switching Symposium"},{"key":"ref18","first-page":"541","article-title":"Software Testing Using an Automatic Generator of Test Data","author":"burgess","year":"1993","journal-title":"Software Quality Management"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/32.605761","article-title":"The AETG System: An Approach to Testing Based on Combinatorial Design","volume":"23","author":"cohen","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90102-5"},{"article-title":"Model-based Testing Home Page","year":"2003","author":"robinson","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115005"},{"key":"ref3","article-title":"Model-Based Software Testing","author":"ei-far","year":"2001","journal-title":"Encyclopedia of Software Engineering"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/CMPASS.1997.613225","article-title":"Automatic Generation of Test Vectors for SCR-Style Specifications","author":"blackburn","year":"1997","journal-title":"Proceedings of the 12th Annual Conference on Computer Assurance"},{"key":"ref29","first-page":"131","article-title":"Rigorous Data Flow Testing through Output Influences","author":"duesterwald","year":"1992","journal-title":"Proc Second Irvine Software Symp"},{"key":"ref5","article-title":"T-VEC's Test Vector Generation System","author":"statezni","year":"2001","journal-title":"Software Testing & Quality Engineering"},{"key":"ref8","article-title":"Combinatorial Test Techniques: Table-based Automation, Test Generation and Code Coverage","author":"burr","year":"1998","journal-title":"International Conference on Software Testing Analysis and Review"},{"journal-title":"Software Test Automation","year":"1999","author":"fewster","key":"ref7"},{"journal-title":"Black-Box Testing","year":"1995","author":"beizer","key":"ref2"},{"journal-title":"Testing Object-Oriented Systems","year":"2000","author":"binder","key":"ref9"},{"journal-title":"Testing Computer Software","year":"1993","author":"kaner","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341392"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730876"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/52.536462"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/347324.349042"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885881"},{"key":"ref25","article-title":"Effective Testing of Factor Combinations","author":"sherwood","year":"1994","journal-title":"Proceedings of the Third International Conference on Software Testing Analysis and Review"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319108.pdf?arnumber=1319108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T14:13:43Z","timestamp":1497622423000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319108\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319108","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}