{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T11:53:50Z","timestamp":1648814030460},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1991,7,1]],"date-time":"1991-07-01T00:00:00Z","timestamp":678326400000},"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":[[1991,7]]},"DOI":"10.1016\/0164-1212(91)90037-7","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"205-215","source":"Crossref","is-referenced-by-count":0,"title":["An investigation of the applicability of data usage analysis"],"prefix":"10.1016","volume":"15","author":[{"given":"Linda L.","family":"Werner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William E.","family":"Howden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(91)90037-7_BIB1","article-title":"Detecting Unexecutable Paths Through Program Flow Graphs","author":"Bollacker","year":"1979","journal-title":"Department of Computer Science, University of Colorado, Master's Thesis"},{"key":"10.1016\/0164-1212(91)90037-7_BIB2","series-title":"Proceedings of the Fourth International Conference on Software Engineering","first-page":"212","article-title":"Path Expressions in Pascal","author":"Campbell","year":"1979"},{"key":"10.1016\/0164-1212(91)90037-7_BIB3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A System to Generate Test Data and Symbolically Execute Programs","volume":"SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB4","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","article-title":"Data Flow Analysis in Software Reliability","volume":"8","author":"Fosdick","year":"1976","journal-title":"Computing Surveys"},{"key":"10.1016\/0164-1212(91)90037-7_BIB5","series-title":"Flow Analysis of Computer Programs","author":"Hecht","year":"1977"},{"key":"10.1016\/0164-1212(91)90037-7_BIB6","article-title":"Experience with Path Analysis and Testing of Programs","volume":"SE-6","author":"Hedley","year":"1980","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB7","series-title":"Program Test Methods","first-page":"239","article-title":"Analyzing Sequences of Operations Performed by Programs","author":"Howard","year":"1973"},{"key":"10.1016\/0164-1212(91)90037-7_BIB8","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/spe.4380080402","article-title":"An Evaluation of the Effectiveness of Symbolic Testing and of Testing on Actual Data","volume":"8","author":"Howden","year":"1978","journal-title":"Software Practice and Experience"},{"key":"10.1016\/0164-1212(91)90037-7_BIB9","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1145\/357103.357107","article-title":"Applicability of Software Validation Techniques to Scientific Programs","volume":"2","author":"Howden","year":"1980","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(91)90037-7_BIB10","first-page":"163","article-title":"A General Model for Static Analysis","volume":"1","author":"Howden","year":"1983"},{"key":"10.1016\/0164-1212(91)90037-7_BIB11","doi-asserted-by":"crossref","first-page":"997","DOI":"10.1109\/TSE.1986.6313016","article-title":"A Functional Approach to Program Testing and Analysis","volume":"SE-12","author":"Howden","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB12","series-title":"Functional Program Testing and Analysis","author":"Howden","year":"1987"},{"key":"10.1016\/0164-1212(91)90037-7_BIB13","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1109\/TSE.1984.5010256","article-title":"Data Flow Anomaly Detection","volume":"SE-10","author":"Jachner","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB14","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/357195.357201","article-title":"Access-Right Expressions","volume":"5","author":"Kieburtz","year":"1983","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(91)90037-7_BIB15","series-title":"Proceedings of the First Conference of Principles of Programming Languages","first-page":"194","article-title":"A Unified Approach to Global Program Optimization","author":"Kildall","year":"1973"},{"key":"10.1016\/0164-1212(91)90037-7_BIB16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.1986.233414","article-title":"Delocalized Plans and Program Comprehension","volume":"3","author":"Letovsky","year":"1986","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(91)90037-7_BIB17","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1145\/828.829","article-title":"A Formal Method for the Abstract Specification of Software","volume":"31","author":"McLean","year":"1984","journal-title":"Journal of the ACM"},{"key":"10.1016\/0164-1212(91)90037-7_BIB18","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/362258.362271","article-title":"Syntax-Directed Documentation for PL360","volume":"13","author":"Mills","year":"1970","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(91)90037-7_BIB19","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1145\/359588.359602","article-title":"A Controlled Experiment in Program Testing and Code Walkthroughs\/Inspections","volume":"21","author":"Myers","year":"1978","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(91)90037-7_BIB20","series-title":"Proceedings of the Annual ACM Conference","first-page":"479","article-title":"Allegations as Aids to Static Program Testing","author":"Osterweil","year":"1976"},{"key":"10.1016\/0164-1212(91)90037-7_BIB21","series-title":"Software Practice and Experience","first-page":"473","article-title":"DAVE-A Validation Error Detection and Documentation System for Fortran Programs","author":"Osterweil","year":"1976"},{"key":"10.1016\/0164-1212(91)90037-7_BIB22","series-title":"Proceedings of the COMPSAC First International Computer Software and Applications Conference","first-page":"406","article-title":"The Detection of Unexecutable Program Paths Through Static Data Flow Analysis","author":"Osterweil","year":"1977"},{"key":"10.1016\/0164-1212(91)90037-7_BIB23","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/TSE.1984.5010259","article-title":"Static Data Flow Analysis of PL\/I Programs with the PROBE System","volume":"SE-10","author":"Sarraga","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB24","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","article-title":"Typestate: A Programming Language Concept for Enhancing Software Reliability","volume":"SE-12","author":"Strom","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(91)90037-7_BIB25","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00289078","article-title":"Fast Algorithms for the Elimination of Common Subexpressions","author":"Ullman","year":"1973","journal-title":"Acta Informatica 2"},{"key":"10.1016\/0164-1212(91)90037-7_BIB26","article-title":"Fault Detection in Production Programs by Means of Data Usage Analysis","author":"Werner","year":"1988"},{"key":"10.1016\/0164-1212(91)90037-7_BIB27","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/TSE.1985.232542","article-title":"Omega\u2014A Data Flow Analysis Tool for the C Programming Language","volume":"SE-11","author":"Wilson","year":"1985","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121291900377?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121291900377?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:59:05Z","timestamp":1552618745000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121291900377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,7]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,7]]}},"alternative-id":["0164121291900377"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(91)90037-7","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1991,7]]}}}