{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T05:53:32Z","timestamp":1767851612558,"version":"3.49.0"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Italian Ministry of University & Research"},{"DOI":"10.13039\/501100004271","name":"Sapienza University of Rome","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004271","id-type":"DOI","asserted-by":"crossref"}]},{"name":"INdAM GNCS"},{"name":"Sapienza U. Projects","award":["RG11816436BD4F21"],"award-info":[{"award-number":["RG11816436BD4F21"]}]},{"name":"Sapienza U. Projects","award":["RG11916B892E54DB"],"award-info":[{"award-number":["RG11916B892E54DB"]}]},{"name":"Sapienza U. Projects","award":["RP11916B8665242F"],"award-info":[{"award-number":["RP11916B8665242F"]}]},{"name":"Lazio POR FESR","award":["E84G20000150006"],"award-info":[{"award-number":["E84G20000150006"]}]},{"name":"Lazio POR FESR","award":["F83G17000830007"],"award-info":[{"award-number":["F83G17000830007"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,10,1]]},"DOI":"10.1109\/tse.2021.3109842","type":"journal-article","created":{"date-parts":[[2021,9,2]],"date-time":"2021-09-02T20:15:36Z","timestamp":1630613736000},"page":"4002-4013","source":"Crossref","is-referenced-by-count":10,"title":["Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3355-2170","authenticated-orcid":false,"given":"Toni","family":"Mancini","sequence":"first","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome, Roma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6273-6190","authenticated-orcid":false,"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome, Roma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0377-3119","authenticated-orcid":false,"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome, Roma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2694559"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22944-2_28"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28860-4_2"},{"key":"ref8","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier","year":"2008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_20"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008779610539"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0477-x"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_12"},{"key":"ref17","first-page":"1","article-title":"On uniformly sampling traces of a transition system","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput.-Aided Des.","author":"Chakraborty"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0076-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0058022"},{"key":"ref20","volume-title":"Handbook of Model Checking","author":"Clarke","year":"2016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24580-0_1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127057"},{"key":"ref27","volume-title":"Finite Model Theory and its Applications","author":"Gr\u00e4del","year":"2007"},{"key":"ref28","first-page":"165","article-title":"Quantitative model checking","volume-title":"Proc. 1st Int. Symp. Leveraging Appl. Formal Method","author":"Grosu"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_18"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2596790"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0447-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530904"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_38"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.24"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.35"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/9.1222"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btz860"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_21"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.02.001"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2014.91"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.32"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2015.119"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.10.010"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1444"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100640"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2014.7007745"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2018.8587416"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.35"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16480-9_52"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2559934"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_33"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2506583.2512390"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3076125.3076128"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2021.102277"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btaa1026"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/63.484413"},{"key":"ref63","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"Sontag","year":"1998"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572981"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987615"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-1275611"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79707-4_7"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146242"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(77)90059-7"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5058-9_54"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0195-3"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9923560\/09527998.pdf?arnumber=9527998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T22:43:41Z","timestamp":1705013021000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9527998\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,1]]},"references-count":74,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3109842","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":[[2022,10,1]]}}}