{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T18:53:49Z","timestamp":1651863229741},"reference-count":46,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s0065-2458(08)60285-5","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"143-190","source":"Crossref","is-referenced-by-count":4,"title":["Using Domain Models for System Testing"],"prefix":"10.1016","author":[{"given":"A. Von","family":"Mayrhauser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Mraz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60285-5_bib1","unstructured":"C. Anderson, von A. Mayrhauser R. Mraz (1995). On the use of neural networks to guide software testing activities, Proceedings of the International Test Conference, Washington, DC. October"},{"key":"10.1016\/S0065-2458(08)60285-5_bib2","unstructured":"Balcer, M, W. Hasling T. Ostrand (1989). Automatic generation of test scripts from formal test specifications, Proceedings of the 3rd Symposium on Software Testing, Analysis, and Verification, December, pp. 210\u2013218"},{"key":"10.1016\/S0065-2458(08)60285-5_bib3","doi-asserted-by":"crossref","unstructured":"D. Batory, and O' S. Malley (1992). The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methods, October","DOI":"10.1145\/136586.136587"},{"key":"10.1016\/S0065-2458(08)60285-5_bib4","doi-asserted-by":"crossref","unstructured":"D. Batory L. Coglianese M. Goodwin S. Shafer (1995). Creating reference architectures: An example from avionics, Symposium on Soft Reusability, Seattle, Washington","DOI":"10.1145\/211782.211786"},{"key":"10.1016\/S0065-2458(08)60285-5_bib5","unstructured":"J. Bauer A. Finger (1979). Test plan generation using formal grammars, Proceedings of the 4th International Conference on Software Engineering, pp. 425\u2013432"},{"issue":"4","key":"10.1016\/S0065-2458(08)60285-5_bib6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1982.235428","article-title":"An automatic generator for compiler testing","volume":"8","author":"Bazzichi","year":"1982","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib7","series-title":"Software Testing Techniques, 2nd ed.","author":"Beizer","year":"1990"},{"key":"10.1016\/S0065-2458(08)60285-5_bib8","series-title":"Software Reusability, Volume I: Concepts and Models","author":"Biggerstaff","year":"1989"},{"key":"10.1016\/S0065-2458(08)60285-5_bib9","series-title":"An assessment and analysis of software reuse","author":"Biggerstaff","year":"1992"},{"key":"10.1016\/S0065-2458(08)60285-5_bib10","doi-asserted-by":"crossref","unstructured":"G. Booch (1991). Object Oriented Design with Applications, Benjamin\/Cummings","DOI":"10.1145\/149576.149582"},{"key":"10.1016\/S0065-2458(08)60285-5_bib11","doi-asserted-by":"crossref","first-page":"918","DOI":"10.1002\/spe.4380101104","article-title":"Compiler testing using a sentence generator","volume":"10","author":"Celentano","year":"1980","journal-title":"Software\u2014Practice and Experience"},{"key":"10.1016\/S0065-2458(08)60285-5_bib12","unstructured":"T.S. Chow (1977). Testing software design modeled by finite state machines, Proceedings of the 1st IEEE Computer Software Application Conference (COMPSAC), pp. 58\u201364"},{"key":"10.1016\/S0065-2458(08)60285-5_bib13","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/362619.362625","article-title":"Simple LR(k) Grammars","volume":"14","author":"DeRemer","year":"1971","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0065-2458(08)60285-5_bib14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(95)00091-7","article-title":"Plan-based terminological reasoning","volume":"84","author":"Devanbu","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(08)60285-5_bib15","unstructured":"A.G. Duncan J.S. Hutchison (1981). Using attributed grammars to test designs and implementations, Proceeding of the 5th International Conference on Software Engineering, pp. 170\u2013177"},{"issue":"10","key":"10.1016\/S0065-2458(08)60285-5_bib16","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","article-title":"Test selection based on finite state models","volume":"SE-17","author":"Fujiwara","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0065-2458(08)60285-5_bib17","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Toward a theory of test data selection","volume":"SE-1","author":"Goodenough","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib18","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","article-title":"A method for the design of fault-detection experiments","volume":"C-19","author":"Gonenc","year":"1970","journal-title":"IEEE Transactions on Computers"},{"issue":"12","key":"10.1016\/S0065-2458(08)60285-5_bib19","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition testing does not inspire confidence","volume":"SE-16","author":"Hamlet","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib20","series-title":"Functional Program Testing and Analysis","author":"Howden","year":"1987"},{"key":"10.1016\/S0065-2458(08)60285-5_bib21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1008607721339","article-title":"Test case generation as an AI planning problem","volume":"4","author":"Howe","year":"1997","journal-title":"Automated Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib22","unstructured":"J. Hutchinson (1992). Private Communication."},{"issue":"1","key":"10.1016\/S0065-2458(08)60285-5_bib23","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","article-title":"The automatic generation of test data","volume":"30","author":"Ince","year":"1987","journal-title":"Computer Journal"},{"key":"10.1016\/S0065-2458(08)60285-5_bib24","unstructured":"V.E. Kelly M.A. Jones KITSS: a knowledge-based translation system for test scenarios, Proceedings 11th National Conference on Artificial Intelligence, Washington, DC, pp. 804\u2013810"},{"issue":"2","key":"10.1016\/S0065-2458(08)60285-5_bib25","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","article-title":"Software reuse","volume":"24","author":"Krueger","year":"1992","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0065-2458(08)60285-5_bib26","unstructured":"S. Naito M. Tsunoyama (1981). Fault detection for sequential machines by transition tours, Proceedings of Fault Tolerant Computing Systems, pp. 238\u2013243"},{"key":"10.1016\/S0065-2458(08)60285-5_bib27","doi-asserted-by":"crossref","unstructured":"P.M. Maurer (1990). Generating test data with enhanced context-free grammars, IEEE Software, July pp. 50\u201355","DOI":"10.1109\/52.56422"},{"issue":"3","key":"10.1016\/S0065-2458(08)60285-5_bib28","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1002\/spe.4380220303","article-title":"The design and implementation of a grammar-based data generator","volume":"23","author":"Maurer","year":"1992","journal-title":"Software\u2014Practice and Experience"},{"key":"10.1016\/S0065-2458(08)60285-5_bib29","series-title":"Automated testing of application domains","author":"Mraz","year":"1994"},{"key":"10.1016\/S0065-2458(08)60285-5_bib30","series-title":"The Art of Software Testing","author":"Myers","year":"1979"},{"issue":"6","key":"10.1016\/S0065-2458(08)60285-5_bib31","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","article-title":"The category-partition method for specifying and generating functional tests","volume":"31","author":"Ostrand","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0065-2458(08)60285-5_bib32","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","article-title":"A sentence generator for testing parsers","volume":"12","author":"Purdom","year":"1972","journal-title":"BIT"},{"key":"10.1016\/S0065-2458(08)60285-5_bib33","unstructured":"D.J. Richardson, O' O. Malley C. Tittle (1993). Approaches to specification-based testing, Proceedings of the ACM 3rd Symposium on Software Testing, Analysis, and Verification (TAV3), December, pp. 86\u201396"},{"issue":"4","key":"10.1016\/S0065-2458(08)60285-5_bib34","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","article-title":"A protocol testing procedure","volume":"14","author":"Sabnani","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0065-2458(08)60285-5_bib35","series-title":"Designing the User Interface","author":"Shneiderman","year":"1987"},{"key":"10.1016\/S0065-2458(08)60285-5_bib36","series-title":"Applying Domain-Based Testing and Sleuth to USWEST's Personal Voice Messaging Services","author":"Shumway","year":"1996"},{"key":"10.1016\/S0065-2458(08)60285-5_bib37","unstructured":"StorageTek, StorageTek 4400 Operator's Guide, Host Software Component (VM) Rel 1.2.0, StorageTek, 1992"},{"issue":"7","key":"10.1016\/S0065-2458(08)60285-5_bib38","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/32.238569","article-title":"On some reliability estimation problems in random and partition testing","volume":"19","author":"Tsoulakas","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib39","first-page":"4","article-title":"Sleuth: A domain based testing tool","volume":"199","author":"von Mayrhauser","year":"1994","journal-title":"Proceedings of the International Test Conference"},{"key":"10.1016\/S0065-2458(08)60285-5_bib40","unstructured":"von A. Mayrhauser S. Crawford-Hines (1993). Automated testing support for a robot tape library, Proceedings of the 4th International Software Reliability Engineering Conference, November pp. 6\u201314"},{"key":"10.1016\/S0065-2458(08)60285-5_bib41","first-page":"4","article-title":"Testing applications using domain based testing and sleuth","volume":"199","author":"von Mayrhauser","year":"1994","journal-title":"Proceedings International Symposium on Software Reliability Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib42","first-page":"4","article-title":"Domain based regression testing","volume":"199","author":"von Mayrhauser","year":"1994","journal-title":"Proceedings International Conference on Software Maintenance"},{"key":"10.1016\/S0065-2458(08)60285-5_bib43","unstructured":"von A. Mayrhauser R. Mraz (1995). The sleuth approach to aerospace software testing, Proceedings 1995 IEEE Aerospace Applications Conference, February, Snowmass, CO, pp. 61\u201375"},{"key":"10.1016\/S0065-2458(08)60285-5_bib44","unstructured":"T. Figliulo, von A. Mayrhauser R. Karcich (1996). Experiences with automated system testing and Sleuth, Proceedings 1996 IEEE Aerospace Applications Conference, February, Snowmass, CO, pp. 335\u2013349"},{"issue":"7","key":"10.1016\/S0065-2458(08)60285-5_bib45","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","article-title":"Analyzing partition testing strategies","volume":"17","author":"Weyuker","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(08)60285-5_bib46","series-title":"A Knowledge Base for Software Test Refinement","author":"Zeil","year":"1991"}],"container-title":["Advances in Computers"],"original-title":[],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T16:39:53Z","timestamp":1637167193000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808602855"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60285-5","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}