{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:09:23Z","timestamp":1730261363414,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"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":[[2021,6,22]]},"DOI":"10.1109\/idt52577.2021.9497535","type":"proceedings-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T21:21:35Z","timestamp":1627680095000},"page":"293-296","source":"Crossref","is-referenced-by-count":2,"title":["Extending data flow coverage with redefinition analysis"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Kolchin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stepan","family":"Potiyenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15407\/pp2018.02.115"},{"key":"ref13","first-page":"331","article-title":"Efficient increasing of the mutation score during model-based test suite generation","volume":"2866","author":"kolchin","year":"2020","journal-title":"Proc of the 12th Int Conference UkrPROG’2020 CEUR-WS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SAIC.2018.8516824"},{"journal-title":"Static single assignment book","year":"2018","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"ref4","first-page":"92","article-title":"A data flow analysis approach to program testing","volume":"8","author":"herman","year":"1976","journal-title":"Aust Comput J"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30690-8_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_3"},{"key":"ref5","first-page":"272","article-title":"Data flow analysis techniques for test data selection","author":"rapps","year":"1982","journal-title":"Proc Int Conf Software Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30275-7_15"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010308"},{"key":"ref2","first-page":"71","article-title":"A survey of systematic methods for code-based test data generation","volume":"2","author":"volkov","year":"2017","journal-title":"Artif Intell"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3020266"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698890"}],"event":{"name":"2021 International Conference on Information and Digital Technologies (IDT)","start":{"date-parts":[[2021,6,22]]},"location":"Zilina, Slovakia","end":{"date-parts":[[2021,6,24]]}},"container-title":["2021 International Conference on Information and Digital Technologies (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9497502\/9497530\/09497535.pdf?arnumber=9497535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:43:49Z","timestamp":1652197429000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9497535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/idt52577.2021.9497535","relation":{},"subject":[],"published":{"date-parts":[[2021,6,22]]}}}