{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:53:03Z","timestamp":1693864383297},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","isbn-type":[{"value":"0897913426","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1145\/75308","type":"proceedings","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T12:41:00Z","timestamp":1075812060000},"source":"Crossref","is-referenced-by-count":2,"title":["Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification  - TAV3"],"prefix":"10.1145","member":"320","event":{"name":"the ACM SIGSOFT '89 third symposium","location":"Key West, Florida, United States","acronym":"TAV3","number":"1989","sponsor":["IEEE-CS, Computer Society","SIGSOFT, ACM Special Interest Group on Software Engineering"],"start":{"date-parts":[[1989,12,13]]},"end":{"date-parts":[[1989,12,15]]}},"container-title":[],"original-title":[],"deposited":{"date-parts":[[2013,12,16]],"date-time":"2013-12-16T18:08:32Z","timestamp":1387217312000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=75308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["0897913426"],"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/75308","relation":{},"subject":[],"published":{"date-parts":[[1989]]}}}