{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T15:54:40Z","timestamp":1781884480144,"version":"3.54.5"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693073","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"125-135","source":"Crossref","is-referenced-by-count":16,"title":["SABRINE: State-based robustness testing of operating systems"],"prefix":"10.1109","author":[{"given":"Domenico","family":"Cotroneo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Domenico","family":"Di Leo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Fucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Natella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","article-title":"Achieving scalable model-based testing through test case diversity","volume":"22","author":"hemmati","year":"2012","journal-title":"ACM Trans on Soft Eng and Meth"},{"key":"35","article-title":"Fuzz revisited: A re-examination of the reliability of UNIX utilities and services","author":"miller","year":"1998","journal-title":"Technical Report CSTR-95-1268"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730886"},{"key":"36","author":"mita","year":"0","journal-title":"Fault Injection Capabilities Infrastructure"},{"key":"18","first-page":"459","article-title":"Characterization of linux kernel behavior under errors","author":"gu","year":"2003","journal-title":"Proc Intl Conf on Dependable Systems and Networks"},{"key":"33","author":"mcdougall","year":"2006","journal-title":"Solaris? Performance and Tools DTrace and MDB Techniques for Solaris 10 and OpenSolaris"},{"key":"15","first-page":"101","article-title":"Windows XP kernel crash analysis","author":"ganapathi","year":"2006","journal-title":"Proc Usenix Large Installation System Administration Conf"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730892"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.13"},{"key":"13","author":"durbin","year":"2006","journal-title":"Biological Sequence Analysis"},{"key":"14","first-page":"313","article-title":"A model-based approach for robustness testing","author":"fernandez","year":"2005","journal-title":"Testing of Comm Sys"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.45"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466945"},{"key":"38","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/306225.306235","article-title":"Httperf - A tool for measuring web server performance","volume":"26","author":"mosberger","year":"1998","journal-title":"Performance Evaluation Review"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2002.1185639"},{"key":"21","year":"1994","journal-title":"IEEE Standard for Information Technology-Portable Operating System Interface (POSIX) Part 1"},{"key":"20","year":"1990","journal-title":"IEEE Standard Glossary of Software Engineering Terminology"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-009-9122-z"},{"key":"42","author":"russinovich","year":"2011","journal-title":"WindowsR Sysinternals Administrator's Reference"},{"key":"41","year":"1992","journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.65"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-007-9033-z"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985801"},{"key":"46","first-page":"33","article-title":"Recognizing behavioral patterns at runtime using finite automata","author":"wendehals","year":"2006","journal-title":"Proc Intl Wksp on Dynamic Sys Analysis"},{"key":"22","article-title":"SystemTap: Instrumenting the Linux kernel for analyzing performance and functional problems","author":"jacob","year":"2008","journal-title":"IBM Redbook"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2007.23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.71"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311938"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.13"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1002\/9780470370506"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/32.877845"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/32.387474"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503275"},{"key":"2","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-540-75294-3_13","article-title":"Designing fault injection experiments using state-based model to test a space software","volume":"4746","author":"ambrosio","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311957"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03544"},{"key":"7","author":"chung","year":"1997","journal-title":"Spectral Graph Theory"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.138"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630121"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/12.980005"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2009.26"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24270-0_16"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","location":"Silicon Valley, CA, USA","start":{"date-parts":[[2013,11,11]]},"end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693073.pdf?arnumber=6693073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:23:03Z","timestamp":1498108983000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693073\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693073","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}