{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T17:12:41Z","timestamp":1754154761775,"version":"3.41.2"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"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":[[2020,2]]},"DOI":"10.1109\/vst50071.2020.9051635","type":"proceedings-article","created":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T05:26:46Z","timestamp":1585891606000},"page":"24-27","source":"Crossref","is-referenced-by-count":4,"title":["Towards Fault Localization via Probabilistic Software Modeling"],"prefix":"10.1109","author":[{"given":"Hannes","family":"Thaller","sequence":"first","affiliation":[{"name":"Institute for Software Systems Engineering, Johannes Kepler University,Linz,Austria"}]},{"given":"Lukas","family":"Linsbauer","sequence":"additional","affiliation":[{"name":"Institute for Software Systems Engineering, Johannes Kepler University,Linz,Austria"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Institute for Software Systems Engineering, Johannes Kepler University,Linz,Austria"}]},{"given":"Stefan","family":"Fischer","sequence":"additional","affiliation":[{"name":"Software Competence Center Hagenberg GmbH,Austria"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"journal-title":"Probabilistic Software Modeling A Data-driven Paradigm for Software Analysis","year":"2019","author":"thaller","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"journal-title":"Normalizing Flows for Probabilistic Modeling and Inference","year":"2019","author":"papamakarios","key":"ref8"},{"journal-title":"Density estimation using real nvp","year":"2016","author":"dinh","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"journal-title":"National Center for Health Statistics Centers for Disease Control and Prevention","article-title":"National Health and Nutrition Examination Survey Data","year":"2013","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"}],"event":{"name":"2020 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST)","start":{"date-parts":[[2020,2,18]]},"location":"London, ON, Canada","end":{"date-parts":[[2020,2,18]]}},"container-title":["2020 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9040308\/9051628\/09051635.pdf?arnumber=9051635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T17:53:09Z","timestamp":1753379589000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9051635\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/vst50071.2020.9051635","relation":{},"subject":[],"published":{"date-parts":[[2020,2]]}}}