{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T06:46:46Z","timestamp":1748328406856,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1109\/vts.2019.8758641","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T23:56:14Z","timestamp":1562889374000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A New Method for Software Test Data Generation Inspired by D-algorithm"],"prefix":"10.1109","author":[{"given":"Jianwei","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Sandeep K.","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"William G.","family":"J. Halfond","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"3","article-title":"A Genetic Algorithm Fitness Function for Mutation Testing","author":"bottaci","year":"2001","journal-title":"Software Engineering Using Metaheuristic Innovative Algorithms"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2016.7477281"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"journal-title":"Lesson Basic I\/O","year":"0","key":"ref14"},{"journal-title":"Software Automatic Test Generation System","year":"0","author":"zhang","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341472"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/2568225.2568271","article-title":"Coverage is not strongly correlated with test suite effectiveness","author":"inozemtseva","year":"2014","journal-title":"Proceedings of the 36th International Conference on Software Engineering"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/ISSRE.1995.497650","article-title":"On the correlation between code coverage and software reliability","author":"del frate","year":"1995","journal-title":"Software Reliability Engineering 1995 Proceedings Sixth International Symposium on"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1145\/2635868.2635929","article-title":"Are mutants a valid substitute for real faults in software testing?","author":"just","year":"2014","journal-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/337292.337309","article-title":"Automatic test pattern generation for functional RTL circuits using assignment decision diagrams","author":"ghosh","year":"2000","journal-title":"Proceedings 37th Design Automation Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585361"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1147\/rd.104.0278","article-title":"Diagnosis of Automata Failures: A Calculus and a Method","volume":"10","author":"roth","year":"1966","journal-title":"IBM Journal of Research and Development"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2010.19"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"}],"event":{"name":"2019 IEEE 37th VLSI Test Symposium (VTS)","start":{"date-parts":[[2019,4,23]]},"location":"Monterey, CA, USA","end":{"date-parts":[[2019,4,25]]}},"container-title":["2019 IEEE 37th VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8753115\/8758605\/08758641.pdf?arnumber=8758641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:52:56Z","timestamp":1658155976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8758641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/vts.2019.8758641","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}