{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T01:17:17Z","timestamp":1726103837249},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[1980,12,1]],"date-time":"1980-12-01T00:00:00Z","timestamp":344476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[1980,12]]},"DOI":"10.1109\/mc.1980.1653453","type":"journal-article","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T16:04:20Z","timestamp":1187798660000},"page":"17-23","source":"Crossref","is-referenced-by-count":14,"title":["Instrumenting Programs for Symbolic-Trace Generation"],"prefix":"10.1109","volume":"13","author":[{"family":"Huang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1478462.1478538"},{"key":"ref11","first-page":"94","article-title":"automatic generation of self-metric software","author":"stucki","year":"1973","journal-title":"Proc IEEE Symp Computer Software Reliability"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1480083.1480106"},{"key":"ref13","first-page":"181","author":"brown","year":"1973","journal-title":"Program Test Method"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1974.6323616"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312819"},{"key":"ref16","first-page":"617","article-title":"a system for automatic software evaluation","author":"hodges","year":"1976","journal-title":"Proc Second Int'l Conf Software Eng"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218134"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234184"},{"key":"ref4","author":"deutsch","year":"1973","journal-title":"An Interactive Program Verifier"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/356674.356677"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233816"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/356651.356652"},{"key":"ref8","first-page":"40","author":"kernighan","year":"1978","journal-title":"The Elements of Programming Style"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233835"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218139"},{"key":"ref1","author":"howden","year":"1977","journal-title":"Proving properties of programs from program traces"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1476793.1476915"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/2\/34653\/01653453.pdf?arnumber=1653453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:56:53Z","timestamp":1641988613000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1653453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,12]]},"references-count":18,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/mc.1980.1653453","relation":{},"ISSN":["0018-9162"],"issn-type":[{"value":"0018-9162","type":"print"}],"subject":[],"published":{"date-parts":[[1980,12]]}}}