{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T17:02:45Z","timestamp":1700499765399},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1993,11,1]],"date-time":"1993-11-01T00:00:00Z","timestamp":752112000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1993,11]]},"DOI":"10.1016\/0164-1212(93)90076-a","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:31:55Z","timestamp":1060302715000},"page":"95-109","source":"Crossref","is-referenced-by-count":36,"title":["Automated flow graph-based testing of object-oriented software modules"],"prefix":"10.1016","volume":"23","author":[{"given":"Allen S","family":"Parrish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard B","family":"Borie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David W","family":"Cordes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(93)90076-A_BIB1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","article-title":"Test Set Generation from Algebraic Specifications Using Logic Programming","volume":"6","author":"Bouge","year":"1986","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(93)90076-A_BIB2","series-title":"Proceedings of the Fourth Symposium on Software Testing, Analysis and Verification","first-page":"165","article-title":"Case studies on testing object-oriented programs","author":"Doong","year":"1991"},{"key":"10.1016\/0164-1212(93)90076-A_BIB3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","article-title":"Data Abstraction, Implementation, Specification and Testing","volume":"3","author":"Gannon","year":"1981","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"10.1016\/0164-1212(93)90076-A_BIB4","series-title":"Proceedings of the Second Workshop on Software Testing","first-page":"138","article-title":"Generation of test data from algebraic specifications","author":"Gaudel","year":"1988"},{"key":"10.1016\/0164-1212(93)90076-A_BIB5","series-title":"Proceedings of COMPSAC '88","first-page":"205","article-title":"Automated test case generation for data abstraction","author":"Jalote","year":"1988"},{"key":"10.1016\/0164-1212(93)90076-A_BIB6","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1109\/32.24701","article-title":"Testing the Completeness of Specifications","volume":"15","author":"Jalote","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(93)90076-A_BIB7","first-page":"39","article-title":"Systematic Testing of Data Abstractions Based on Software Specifications","volume":"1","author":"Zweben","year":"1992","journal-title":"J. Software Test. Verificat. Reliabil."},{"key":"10.1016\/0164-1212(93)90076-A_BIB8","series-title":"Abstraction and Specification in Program Development","author":"Liskov","year":"1986"},{"key":"10.1016\/0164-1212(93)90076-A_BIB9","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/0164-1212(93)90076-A_BIB10","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An Applicable Family of Data Flow Testing Criteria","volume":"SE-14","author":"Frankl","year":"1988","journal-title":"IEEE Trans Software Eng."},{"key":"10.1016\/0164-1212(93)90076-A_BIB11","first-page":"1","article-title":"Reusable software components","volume":"vol. 33","author":"Weide","year":"1991"},{"key":"10.1016\/0164-1212(93)90076-A_BIB12","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF00995175","article-title":"The Applicability of program Schema Results to Programs","volume":"8","author":"Weyuker","year":"1979","journal-title":"Int. J. Comp. Info. Sci."},{"key":"10.1016\/0164-1212(93)90076-A_BIB13","article-title":"Creating Reusable Ada Software","author":"Berard","year":"1987","journal-title":"EVB Software Engineering Technical Reports"},{"key":"10.1016\/0164-1212(93)90076-A_BIB14","series-title":"Studies in Ada Style","first-page":"35","article-title":"Programming in Ada: Examples","author":"Hibbard","year":"1983"},{"key":"10.1016\/0164-1212(93)90076-A_BIB15","series-title":"Software Components with Ada","author":"Booch","year":"1987"},{"key":"10.1016\/0164-1212(93)90076-A_BIB16","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1988"},{"key":"10.1016\/0164-1212(93)90076-A_BIB17","series-title":"IEEE Trans. Software Eng.","first-page":"565","article-title":"Analysis and Refinement of Software Test Data Adequacy Properties","author":"Parrish","year":"1991"},{"key":"10.1016\/0164-1212(93)90076-A_BIB18","doi-asserted-by":"crossref","unstructured":"A. Parrish and S. Zweben, Clarifying Some Fundamental Concepts in Software Testing, IEEE Trans. Software Eng., in press.","DOI":"10.1109\/32.238573"},{"key":"10.1016\/0164-1212(93)90076-A_BIB19","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TSE.1983.235433","article-title":"A Mathematical Framework for the Investigation of Testing","volume":"SE-9","author":"Gourlay","year":"1983","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129390076A?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129390076A?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:58:18Z","timestamp":1552604298000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016412129390076A"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["016412129390076A"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(93)90076-a","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1993,11]]}}}