{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T02:10:52Z","timestamp":1778638252867,"version":"3.51.4"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318257","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T17:52:50Z","timestamp":1447091570000},"page":"31-40","source":"Crossref","is-referenced-by-count":25,"title":["Requirements driven falsification with coverage metrics"],"prefix":"10.1109","author":[{"given":"Adel","family":"Dokhanchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Zutshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul T.","family":"Sriniva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562126"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"ref31","article-title":"Using s-taliro on industrial size automotive models","author":"hoxha","year":"2014","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171968"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"ref35","article-title":"Mining requirements from closed-loop control models","author":"jin","year":"2013","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_2"},{"key":"ref28","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proceedings of the 23d CAV"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_13"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11730637_22","article-title":"Verification using simulation","volume":"3927","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/978-3-642-24372-1_39","article-title":"Linear hybrid system falsification through local search","volume":"6996","author":"abbas","year":"2011","journal-title":"Automated Technology for Verification and Analysis"},{"key":"ref1","year":"0","journal-title":"TaLiRo Tools"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","volume":"6174","author":"donze","year":"2010","journal-title":"Computer Aided Verification"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_12"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315384"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760488"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728648"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_21"},{"key":"ref11","author":"alur","year":"2015","journal-title":"Principles of Cyber-Physical Systems"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:20050152"},{"key":"ref16","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"Computer-Aided Verification"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739371"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34691-0_12"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-642-40196-1_13","article-title":"Strong: A trajectory-based verification toolbox for hybrid systems","volume":"8054","author":"deng","year":"2013","journal-title":"Quantitative Evaluation of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483411"},{"key":"ref6","article-title":"Conformance testing as falsification for cyber-physical systems","author":"abbas","year":"2014","journal-title":"Technical Report 1401 5200 arXiv"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER.2014.6917426"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-642-34691-0_11","article-title":"Querying parametric temporal logic properties on embedded systems","volume":"7641","author":"yang","year":"2012","journal-title":"Int Conference on Testing Software and Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859453"},{"key":"ref46","first-page":"bxm108443","article-title":"Generalized distance functions in the theory of computation","volume":"53","author":"seda","year":"2008","journal-title":"The Computer Journal"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref48","first-page":"383","author":"tripakis","year":"2009","journal-title":"Model-Based Design for Embedded Systems chapter Modeling Verification and Testing using Timed and Hybrid Automata"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref42","first-page":"211","article-title":"Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems","author":"nghiem","year":"2010","journal-title":"Proceedings of the 13th ACM International Conference on Hybrid Systems Computation and Control"},{"key":"ref41","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004","journal-title":"Proceedings of FORMATS-FTRTFT"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"ref43","first-page":"368","article-title":"Falsification of lt1 safety properties in hybrid systems","volume":"5505","author":"plaku","year":"2009","journal-title":"Proc of the Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318257.pdf?arnumber=7318257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T07:02:30Z","timestamp":1567321350000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318257","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}