{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T16:03:30Z","timestamp":1649001810999},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1007\/bf00995499","type":"journal-article","created":{"date-parts":[[2005,1,18]],"date-time":"2005-01-18T17:56:40Z","timestamp":1106071000000},"page":"473-488","source":"Crossref","is-referenced-by-count":1,"title":["Finding a minimal set of base paths of a program"],"prefix":"10.1007","volume":"8","author":[{"given":"Hikyoo","family":"Koh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry Y. H.","family":"Chuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"M. R. Paige and J. P. Benson, ?The use of software probes in testing fortran programs,?Computer (July 1974), pp. 40?46.","DOI":"10.1109\/MC.1974.6323616"},{"key":"CR2","unstructured":"Edward F. Miller, Jr., M. R. Paige, and J. P. Benson, ?Structural techniques of program validation,?IEEE Comput Soc. Int. Conf. (February 1974), pp. 161?165."},{"key":"CR3","unstructured":"F. E. Allen and J. Cooke, ?Graph-Theoretic Construct for Program Control Flow Analysis,? IBM Research Report (July 1972), pp. 1?28."},{"key":"CR4","first-page":"1","volume-title":"A Mathematical Theory of Global Program Optimization","author":"Marvin Shaefer","year":"1973","unstructured":"Marvin Shaefer,A Mathematical Theory of Global Program Optimization (Prentice Hall, Englewood Cliffs, New Jersey, 1973), pp. 1?34."},{"key":"CR5","first-page":"270","volume-title":"Graph Theory with Applications to Engineering and Computer Science","author":"Narsingh Deo","year":"1974","unstructured":"Narsingh Deo,Graph Theory with Applications to Engineering and Computer Science (Prentice Hall, Englewood Cliffs, New Jersey, 1974), pp. 270?315, 424?448."},{"key":"CR6","first-page":"105","volume-title":"Integer Programming and Network Flows","author":"T. C. Hu","year":"1969","unstructured":"T. C. Hu,Integer Programming and Network Flows (Addison-Wesley, Reading, Massachusetts, 1969), pp. 105?119."},{"key":"CR7","unstructured":"H. Koh, ?Analysis of Program Structure for Test Input Generation in a Successive Testing Environment,? Ph.D. thesis, University of Pittsburgh (1978), pp. 166?171."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995499.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00995499\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:59:13Z","timestamp":1556578753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00995499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["BF00995499"],"URL":"https:\/\/doi.org\/10.1007\/bf00995499","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}