{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:17:39Z","timestamp":1725628659186},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/icsmc.2011.6083936","type":"proceedings-article","created":{"date-parts":[[2011,11,23]],"date-time":"2011-11-23T21:53:12Z","timestamp":1322085192000},"page":"1825-1830","source":"Crossref","is-referenced-by-count":5,"title":["Automated test case generation for an autopilot requirement prototype"],"prefix":"10.1109","author":[{"given":"Dimitra","family":"Giannakopoulou","sequence":"first","affiliation":[]},{"given":"Neha","family":"Rungta","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Feary","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A toolset for supporting iterative human automation interaction in design","author":"feary","year":"2010","journal-title":"Technical Report 20100012861"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9224-3"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0118-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00092-8"},{"journal-title":"Press On Principles of Interaction Programming","year":"2007","author":"thimbleby","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011265604021"},{"key":"ref3","first-page":"14","article-title":"Using formal methods to predict human error and system failures","author":"bolton","year":"2008","journal-title":"Proceedings of the 2nd International Applied Human Factors and Ergonomics Conference"},{"journal-title":"Main-page Choco","year":"2010","key":"ref6"},{"key":"ref5","first-page":"72","article-title":"Systematic analysis of control panel interfaces using formal tools","author":"campos","year":"2008","journal-title":"Proceedings of the 15th International Workshop on the Design Verification and Specification of Interactive Systems number 5136 in Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0035-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800191.805647"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0129-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"ref9","article-title":"A toolset for supporting iterative human - automation interaction in design","author":"feary","year":"2010","journal-title":"Technical Report 20100012861"},{"key":"ref20","first-page":"501","article-title":"Applying graph theory to interaction design","author":"thimbleby","year":"2008","journal-title":"Engineering Interactive Systems 2007\/DSVIS 2007 number 4940 in Lecture Notes in Computer Science"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2002.1052929"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.68"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"event":{"name":"2011 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2011,10,9]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2011,10,12]]}},"container-title":["2011 IEEE International Conference on Systems, Man, and Cybernetics"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6070513\/6083622\/06083936.pdf?arnumber=6083936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:16:42Z","timestamp":1490116602000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6083936\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":24,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1109\/icsmc.2011.6083936","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}