{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:55:52Z","timestamp":1693857352841},"reference-count":17,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Science Education"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1080\/0899340910020102","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T12:36:54Z","timestamp":1182775014000},"page":"1-30","source":"Crossref","is-referenced-by-count":1,"title":["Some Applications from Software Testing for a Discrete Structures Course"],"prefix":"10.1080","volume":"2","author":[{"given":"Ken","family":"Abernethy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Computer aided testability for software. Contract Report for Contract DAAA21\u201087\u2010C\u20100166, US Army, AMCCOM, 1988","author":"Ashmore B."},{"key":"CIT0002","volume-title":"QUALMS\u2010\u2010A tool for control flow analysis and measurement","author":"Bache R."},{"key":"CIT0003","unstructured":"Bache, R. and Mullerburg, M. 1989. An automatic method of measuring testability.Proceedings of the 6th International Conference on Testing Computer Software. May1989, Washington, DC. Vol. 1."},{"key":"CIT0004","unstructured":"Bently, W. and Miller, E. 1989. Ct coverage: An initial evaluation.Proceedings of the 6th International Conference on Testing Computer Software. May1989, Washington, DC. Vol. 1,"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234165"},{"key":"CIT0006","first-page":"388","volume":"84","author":"Evangelist M.","year":"1984","journal-title":"Proceeding of IEEE COM\u2010PSAC \u2018"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"CIT0008","first-page":"347","volume":"1","author":"Goodenough J.","year":"1975","journal-title":"IEEE Transaction on Software Engineering"},{"key":"CIT0009","volume-title":"Elements of Software Science","author":"Halstead M.","year":"1977"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/7538.7540"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"CIT0013","unstructured":"McCabe, T. 1983.Structured Testing, 19\u201347. Silver Spring, MD: IEEE Computer Society."},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1145\/42372.42379"},{"key":"CIT0015","first-page":"527","volume":"78","author":"Paige M.","year":"1978","journal-title":"Proceedings of IEEE COMPSAC"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/BF00995175"}],"container-title":["Computer Science Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0899340910020102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,12]],"date-time":"2016-12-12T23:50:43Z","timestamp":1481586643000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0899340910020102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1080\/0899340910020102"],"URL":"https:\/\/doi.org\/10.1080\/0899340910020102","relation":{},"ISSN":["0899-3408","1744-5175"],"issn-type":[{"value":"0899-3408","type":"print"},{"value":"1744-5175","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}