{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:57:19Z","timestamp":1730257039298,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606669","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"1165-1168","source":"Crossref","is-referenced-by-count":4,"title":["Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference"],"prefix":"10.1109","author":[{"given":"Paul","family":"Givens","sequence":"first","affiliation":[]},{"given":"Aleksandar","family":"Chakarov","sequence":"additional","affiliation":[]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Yeh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90039-N"},{"key":"17","first-page":"66","article-title":"Exact DFA identification using SAT solvers","volume":"6339","author":"heule","year":"2010","journal-title":"ICGI Ser LNAI"},{"key":"18","first-page":"203","article-title":"Modelbased testing of GUI-driven applications","volume":"5860","author":"chinnapongse","year":"2009","journal-title":"Proc SEUS'09 Ser LNCS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753555"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0050-0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"12","first-page":"232","article-title":"Automatic generation of program specifications","author":"nimmer","year":"2002","journal-title":"ISSTA'02"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356918"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.111.4.1036"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1622176.1622213"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822041"},{"key":"7","first-page":"1","article-title":"Automation surprises","author":"sarter","year":"1997","journal-title":"Handbook of Human Factors and Ergonomics"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2003.1245813"},{"key":"5","article-title":"Using model checking to help discover mode confusions and other automation surprises","author":"rushby","year":"1999","journal-title":"Proc HESSD'99"},{"key":"4","first-page":"132","article-title":"Analyzing software specifications for mode confusion potential","author":"leveson","year":"1997","journal-title":"Proc Human Error and System Development"},{"key":"9","first-page":"337","article-title":"Z3: An efficient smt solver","volume":"4963","author":"de moura","year":"2008","journal-title":"TACAS Ser LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/235833.236054"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606669.pdf?arnumber=6606669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:14:54Z","timestamp":1490220894000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606669\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606669","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}