{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T10:00:11Z","timestamp":1648548011307},"reference-count":9,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1984,10,1]],"date-time":"1984-10-01T00:00:00Z","timestamp":465436800000},"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":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1984,10]]},"DOI":"10.1016\/0165-6074(84)90009-7","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:56:11Z","timestamp":1060304171000},"page":"149-153","source":"Crossref","is-referenced-by-count":0,"title":["MOVE \u2014 a verifying tool for modular software"],"prefix":"10.1016","volume":"14","author":[{"given":"Bogdan W.","family":"Wiszniewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(84)90009-7_BIB1","series-title":"Theory of Computation","author":"Brainerd","year":"1974"},{"key":"10.1016\/0165-6074(84)90009-7_BIB2","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1109\/TSE.1982.235572","article-title":"A close look at domain testing","author":"Clarke","year":"1982","journal-title":"IEEE Trans. on Software Eng."},{"key":"10.1016\/0165-6074(84)90009-7_BIB3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00260923","article-title":"Algebraic program testing","volume":"10","author":"Howden","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/0165-6074(84)90009-7_BIB4","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","article-title":"Symbolic execution and program testing","author":"King","year":"1976","journal-title":"Comm. of the ACM"},{"key":"10.1016\/0165-6074(84)90009-7_BIB5","series-title":"Proc. of the ACM 22nd National Conference","first-page":"465","article-title":"The complexity of loop programs","author":"Meyer","year":"1967"},{"key":"10.1016\/0165-6074(84)90009-7_BIB6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/322234.322247","article-title":"On the use of transcendentals for program testing","author":"Rowland","year":"1981","journal-title":"Journal of the ACM"},{"key":"10.1016\/0165-6074(84)90009-7_BIB7","series-title":"Proc. of the Mini and Microcomputers and Their Applications MIMI'83","article-title":"Automatic verification of sequential program computations","author":"Wiszniewski","year":"1983"},{"key":"10.1016\/0165-6074(84)90009-7_BIB8","series-title":"Proc. of the 12th IFAC\/IFIP Workshop on Real-Time Programming","article-title":"A man-machine intercommunication facility in well-structured concurrent systems","author":"Wiszniewski","year":"1983"},{"key":"10.1016\/0165-6074(84)90009-7_BIB9","series-title":"Proc. of the Mini and Microcomputers and Their Applications MIMI'84","article-title":"On the use of symbolic interpretation of minicomputer programs","author":"Wiszniewski","year":"1984"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607484900097?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607484900097?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:51:52Z","timestamp":1552603912000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607484900097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,10]]},"references-count":9,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1984,10]]}},"alternative-id":["0165607484900097"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(84)90009-7","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1984,10]]}}}