{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:31:33Z","timestamp":1725384693732},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issrew.2015.7392053","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T21:42:58Z","timestamp":1454017378000},"page":"100-107","source":"Crossref","is-referenced-by-count":1,"title":["Parse tree structure in LTL requirements diagnosis"],"prefix":"10.1109","author":[{"given":"Ingo","family":"Pill","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Quaritsch","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90079-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1145\/37888.37963","article-title":"a topological search algorithm for atpg","author":"kirkland","year":"1987","journal-title":"24th ACM\/IEEE Design Automation Conference"},{"key":"ref13","first-page":"581","article-title":"Hierarchical diagnosis of multiple faults","author":"siddiqi","year":"2007","journal-title":"Int Joint Conf Art Intell"},{"key":"ref14","first-page":"793","article-title":"Compiling model-based diagnosis to Boolean satisfaction","author":"metodi","year":"2012","journal-title":"AAAI Conference on Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_23"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460314"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/070693217"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105390"},{"key":"ref4","first-page":"37","article-title":"Sanity checks in formal verification","author":"kupferman","year":"2006","journal-title":"Int'l Conference on Concurrency Theory"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_30"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229231"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref7","first-page":"1053","article-title":"Behavioral diagnosis of LTL specifications at operator level","author":"pill","year":"2013","journal-title":"International Joint Conference on Artificial Intelligence"},{"article-title":"When bad requirements happen to nice people","year":"2013","author":"wiegers","key":"ref2"},{"key":"ref1","article-title":"Inspecting requirements","author":"wiegers","year":"2001","journal-title":"StickyMinds com Weekly Column"},{"key":"ref9","first-page":"1039","article-title":"The route to success - a performance comparison of diagnosis algorithms","author":"nica","year":"2013","journal-title":"8th Int Joint Conf Art Intell"},{"key":"ref20","first-page":"629","article-title":"Non-solution implications using reverse domination in a modern SAT-based debugging environment","author":"le","year":"2012","journal-title":"Design Automation and Test in Europe"},{"key":"ref22","article-title":"Exploiting parse trees in LTL specification diagnosis","author":"pill","year":"2013","journal-title":"Proc of the 24th International Workshop on Principles of Diagnosis"},{"journal-title":"A Practical Introduction to PSL (Series on Integrated Circuits and Systems)","year":"2006","author":"eisner","key":"ref21"}],"event":{"name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersburg, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7375770\/7392022\/07392053.pdf?arnumber=7392053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:20:48Z","timestamp":1602685248000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7392053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/issrew.2015.7392053","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}