{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:37:46Z","timestamp":1790937466010,"version":"4.1.0"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100011322","name":"General Motors of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100011322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,3,1]]},"DOI":"10.1109\/tse.2022.3175752","type":"journal-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:28:58Z","timestamp":1652992138000},"page":"1323-1341","source":"Crossref","is-referenced-by-count":5,"title":["Annotative Software Product Line Analysis Using Variability-Aware Datalog"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8724-3934","authenticated-orcid":false,"given":"Ramy","family":"Shahin","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7586-6680","authenticated-orcid":false,"given":"Murad","family":"Akhundov","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338928"},{"key":"ref35","article-title":"Find all circuits of a directed graph using johnson's algorithm and OCaml implementation by pietro abate","author":"pietro abate","year":"2013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934493"},{"key":"ref36","author":"pezz\u00e8","year":"2008","journal-title":"Software Testing and Analysis Process Principles and Techniques"},{"key":"ref31","article-title":"CUDD: CU decision diagram package release 2.2.0","author":"somenzi","year":"1998"},{"key":"ref30","author":"date","year":"2004","journal-title":"An Introduction to Database Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_50"},{"key":"ref10","first-page":"422","article-title":"Soufflé: On synthesis of program analyzers","author":"jordan","year":"2016","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1595"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3428225"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02571-6_11"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231399"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273923"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44800-4_2"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01854-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref43","first-page":"24","author":"bj\u00f8rner","year":"2015","journal-title":"Horn clause solvers for program verification"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1561\/9781680830217"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39197-3_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10070338\/09779079.pdf?arnumber=9779079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,10]],"date-time":"2023-04-10T19:12:47Z","timestamp":1681153967000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9779079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":43,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3175752","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,1]]}}}