{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:53:46Z","timestamp":1760586826907,"version":"3.37.3"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"US National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0931931","CNS-1035715"],"award-info":[{"award-number":["CNS-0931931","CNS-1035715"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,6,1]]},"DOI":"10.1109\/tse.2016.2615311","type":"journal-article","created":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T19:41:49Z","timestamp":1475696509000},"page":"531-555","source":"Crossref","is-referenced-by-count":7,"title":["Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors"],"prefix":"10.1109","volume":"43","author":[{"given":"Gregory","family":"Gay","sequence":"first","affiliation":[]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/312129.312263"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0072-x"},{"journal-title":"Foundations of Machine Learning","year":"2012","author":"mohri","key":"ref33"},{"article-title":"Automated steering of model-based test oracles to admit real program behaviors","year":"2015","author":"gay","key":"ref32"},{"key":"ref31","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"Handbook of Satisfiability Volume 185 Frontiers in Artificial Intelligence and Applications","year":"2009","author":"biere","key":"ref30"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1935"},{"key":"ref36","article-title":"Parametric analysis of antares re-entry guidance algorithms using advanced test generation and data analysis","author":"gundy-burlet","year":"2008","journal-title":"Proc Int Symp Artif Intell Robot Automat Space"},{"key":"ref35","first-page":"1","article-title":"Software V&V support by parametric analysis of large software simulation systems","author":"pasareanu","year":"2009","journal-title":"Proc IEEE Aerospace Conf"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MC.2003.1244531","article-title":"Data mining for very busy people","volume":"36","author":"menzies","year":"2003","journal-title":"IEEE Comput"},{"article-title":"Verifying safety properties of lustre programs: An SMT-based approach","year":"2008","author":"hagen","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/375360.375365"},{"journal-title":"Logic in Computer Science Modelling and Reasoning about Systems","year":"2006","author":"huth","key":"ref29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0238-x"},{"key":"ref22","first-page":"79","article-title":"Online testing of real-time systems using UPPAAL","author":"larsen","year":"2004","journal-title":"Proceedings of the International Workshop on Formal Approaches to Testing of Software"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0173-6"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/2642937.2642966","article-title":"Finding HTML presentation failures using image comparison techniques","author":"mahajan","year":"2014","journal-title":"Proc 29th ACM\/IEEE Int Conf Automated Softw Eng"},{"journal-title":"Model-Based Testing for Embedded Systems","year":"2011","author":"zander","key":"ref23"},{"key":"ref26","first-page":"300","article-title":"Comprehensive survey on distance\/similarity measures between probability density functions","volume":"1","author":"cha","year":"2007","journal-title":"Math Models Methods Appl Sci"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185038"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601351"},{"key":"ref51","first-page":"64","article-title":"A test generation framework for quiescent real-time systems","author":"briones","year":"2004","journal-title":"Proceedings of the International Workshop on Formal Approaches to Testing of Software"},{"article-title":"The PROMISE repository of empirical software engineering data","year":"2015","author":"menzies","key":"ref54"},{"key":"ref53","article-title":"Run-time monitoring and steering based on formal specifications","author":"kannan","year":"2000","journal-title":"Proc Workshop Model Softw Syst Structures Fastly Moving Scenario"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2004","journal-title":"Lectures on Concurrency and Petri Nets"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591120"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642989"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595290"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"key":"ref13","first-page":"44","article-title":"The oracle assumption of program testing","author":"weyuker","year":"1980","journal-title":"Proc of 13th Int Conf on System Science"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227132"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.33"},{"journal-title":"Software Test and Analysis Process Principles and Techniques","year":"2006","author":"pezze","key":"ref16"},{"key":"ref17","article-title":"Pacemaker system specification","author":"scientific","year":"2007","journal-title":"Pacemaker Formal Methods Challenge"},{"article-title":"Modelica-a unified object-oriented language for systems modeling","year":"2012","author":"association","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189752"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049402"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"year":"2015","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582044"},{"year":"2014","key":"ref7"},{"key":"ref49","first-page":"95","article-title":"Black-box system testing of real-time embedded systems using random and search-based testing","author":"arcuri","year":"2010","journal-title":"Proc 22nd IFIP WG 6 1 Int Conf Testing Softw Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_2"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45510-8_9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.10"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_1"},{"key":"ref42","first-page":"86","author":"rajan","year":"2008","journal-title":"Requirements Coverage as an Adequacy Measure for Conformance Testing"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.49"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/32\/7946233\/7583721-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7946233\/07583721.pdf?arnumber=7583721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T20:18:15Z","timestamp":1657397895000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7583721\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,1]]},"references-count":54,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2615311","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2017,6,1]]}}}