{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:48:48Z","timestamp":1725598128301},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/fmcad.2016.7886656","type":"proceedings-article","created":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T02:52:44Z","timestamp":1490669564000},"page":"17-24","source":"Crossref","is-referenced-by-count":3,"title":["Synthesizing adaptive test strategies from temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Roderick","family":"Bloem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Konighofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Pill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.39"},{"key":"ref38","first-page":"118","article-title":"Conformance tests as checking experiments for partial nondeterministic FSM","author":"petrenko","year":"2005","journal-title":"FATES'05 LNCS 3997"},{"journal-title":"Foundations of Software Testing","year":"2008","author":"mathur","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2307\/1971035"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/32.265636"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu113"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.111"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/125489.125473"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007520"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/978-3-642-31424-7_45","article-title":"Acacia+, a tool for ltl synthesis","author":"bohy","year":"2012","journal-title":"Computer Aided Verification"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.002"},{"key":"ref12","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"clarke","year":"1981","journal-title":"Workshop on Logics of Programs Vol 131 of LNCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403491"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v28i1.8872","article-title":"Reasoning on LTL on finite traces: Insensitivity to infiniteness","author":"de giacomo","year":"2014","journal-title":"AAAI'14"},{"key":"ref15","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"IJCAI'13 IJCAI\/AAAI"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref17","article-title":"Games you cannot win","author":"faella","year":"2007","journal-title":"Workshop on Games and Automata for Synthesis and Validation"},{"key":"ref18","first-page":"307","article-title":"Admissible strategies in infinite games over graphs","author":"faella","year":"2009","journal-title":"MFCS'09 LNCS 5734"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0228-z"},{"key":"ref28","article-title":"Debugging formal specifications using simple counterstrategies","author":"k\u00f6nighofer","year":"2009","journal-title":"FMCAD'09"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2001.930180"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_66"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225161"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref29","first-page":"91","article-title":"Synthesis with incomplete informatio","author":"kupferman","year":"1997","journal-title":"ICT'97"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_35"},{"key":"ref8","first-page":"32","article-title":"Play to test","author":"blass","year":"2005","journal-title":"FATES'05 LNCS 3997"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_28"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1522"},{"key":"ref9","first-page":"1188","article-title":"Interactive presentation: Automatic hardware synthesis from specifications: a case study","author":"bloem","year":"2007","journal-title":"Date'07"},{"key":"ref1","article-title":"Mutation analysis. Technical Report GIT- ICS-79\/08","author":"acree","year":"1979","journal-title":"Atlanta Georgia Institute of Technology"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.05.016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2007.71"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","article-title":"Specification and verification of concurrent systems in CESAR","author":"queille","year":"1982","journal-title":"Proceedings of the International Symposium in Programming LNCS 137"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref43","first-page":"493","article-title":"Specification-based testing with linear temporal logic","author":"tan","year":"2004","journal-title":"IRI'04"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.12.001"}],"event":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2016,10,3]]},"location":"Mountain View, CA, USA","end":{"date-parts":[[2016,10,6]]}},"container-title":["2016 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879555\/7886641\/07886656.pdf?arnumber=7886656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T23:14:32Z","timestamp":1658877272000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7886656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2016.7886656","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}