{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:21:41Z","timestamp":1775874101716,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3183519.3183534","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T18:12:32Z","timestamp":1528827152000},"page":"276-285","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Robustness testing of autonomy software"],"prefix":"10.1145","author":[{"given":"Casidhe","family":"Hutchison","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milda","family":"Zizyte","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick E.","family":"Lanigan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Guttendorf","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wagner","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire Le","family":"Goues","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Koopman","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","author":"European Space Agency","year":"2016","unstructured":"European Space Agency . 2016 . Schiaparelli Landing Investigation Makes Progress. (23 Nov. 2016) . Retrieved January 17, 2017 from http:\/\/www.esa.int\/Our_Activities\/Space_Science\/ExoMars\/Schiaparelli_landing_investigation_makes_progress European Space Agency. 2016. Schiaparelli Landing Investigation Makes Progress. (23 Nov. 2016). Retrieved January 17, 2017 from http:\/\/www.esa.int\/Our_Activities\/Space_Science\/ExoMars\/Schiaparelli_landing_investigation_makes_progress"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11836810_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754749.1754751"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.838027"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646661.699063"},{"key":"e_1_3_2_1_7_1","volume-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 429--440","author":"Choudhary S. R.","unstructured":"S. R. Choudhary , A. Gorla , and A. Orso . 2015. Automated Test Input Generation for Android: Are We There Yet? (E) . In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 429--440 . S. R. Choudhary, A. Gorla, and A. Orso. 2015. Automated Test Input Generation for Android: Are We There Yet? (E). In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 429--440."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_3_2_1_11_1","volume-title":"Robust Software - No More Excuses. In International Conference on Dependable Systems and Networks (DSN '02)","author":"DeVale John","unstructured":"John DeVale and Philip J . Koopman, Jr. 2002 . Robust Software - No More Excuses. In International Conference on Dependable Systems and Networks (DSN '02) . IEEE, 145--154. John DeVale and Philip J. Koopman, Jr. 2002. Robust Software - No More Excuses. In International Conference on Dependable Systems and Networks (DSN '02). IEEE, 145--154."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738244"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/851020.856201"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_18_1","first-page":"239","article-title":"Autofuzz: Automated network protocol fuzzing framework","volume":"10","author":"Gorbunov Serge","year":"2010","unstructured":"Serge Gorbunov and Arnold Rosenbloom . 2010 . Autofuzz: Automated network protocol fuzzing framework . IJCSNS 10 , 8 (2010), 239 . Serge Gorbunov and Arnold Rosenbloom. 2010. Autofuzz: Automated network protocol fuzzing framework. IJCSNS 10, 8 (2010), 239.","journal-title":"IJCSNS"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.28"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(96)00052-X"},{"key":"e_1_3_2_1_23_1","unstructured":"Philip Koopman. 2010. Better embedded system software. Drumnadrochit Education.  Philip Koopman. 2010. Better embedded system software. Drumnadrochit Education."},{"key":"e_1_3_2_1_24_1","first-page":"201","article-title":"Interface Robustness Testing: Experience and Lessons Learned from the Ballista Project. Wiley-IEEE Press","volume":"11","author":"Koopman Philip","year":"2008","unstructured":"Philip Koopman , Kobey DeVale , and John DeVale . 2008 . Interface Robustness Testing: Experience and Lessons Learned from the Ballista Project. Wiley-IEEE Press , Chapter 11 , 201 -- 226 . Philip Koopman, Kobey DeVale, and John DeVale. 2008. Interface Robustness Testing: Experience and Lessons Learned from the Ballista Project. Wiley-IEEE Press, Chapter 11, 201--226.","journal-title":"Chapter"},{"key":"e_1_3_2_1_25_1","volume-title":"Real-time systems: design principles for distributed embedded applications","author":"Kopetz Hermann","unstructured":"Hermann Kopetz . 2011. Real-time systems: design principles for distributed embedded applications . Springer Science & Business Media . Hermann Kopetz. 2011. Real-time systems: design principles for distributed embedded applications. Springer Science & Business Media."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/795671.796919"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2009.2032884"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.85"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_31_1","volume-title":"Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl.","author":"Miller Barton P","year":"1995","unstructured":"Barton P Miller , David Koski , Cjin Pheow Lee , Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl. 1995 . Fuzz revisited: A re-examination of the reliability of UNIX utilities and services. Technical Report 1268. University of Wisconsin . http:\/\/digital.library.wisc.edu\/1793\/59964 Barton P Miller, David Koski, Cjin Pheow Lee, Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl. 1995. Fuzz revisited: A re-examination of the reliability of UNIX utilities and services. Technical Report 1268. University of Wisconsin. http:\/\/digital.library.wisc.edu\/1793\/59964"},{"key":"e_1_3_2_1_32_1","volume-title":"Painful History of Time. (Oct","author":"Naggum Erik","year":"1999","unstructured":"Erik Naggum . 1999. The Long , Painful History of Time. (Oct 1999 ). http:\/\/naggum.no\/lugm-time.html Presented at Lisp User Group Meeting 1991. Erik Naggum. 1999. The Long, Painful History of Time. (Oct 1999). http:\/\/naggum.no\/lugm-time.html Presented at Lisp User Group Meeting 1991."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_34_1","volume-title":"International Conference on Dependable Systems and Networks (DSN'01)","author":"Pan Jiantao","year":"2001","unstructured":"Jiantao Pan , Philip Koopman , Yennun Huang , Robert Gruber , and Mimi Ling Jiang . 2001 . Robustness testing and hardening of CORBA ORB implementations . In International Conference on Dependable Systems and Networks (DSN'01) . 141--150. Jiantao Pan, Philip Koopman, Yennun Huang, Robert Gruber, and Mimi Ling Jiang. 2001. Robustness testing and hardening of CORBA ORB implementations. In International Conference on Dependable Systems and Networks (DSN'01). 141--150."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/AUTEST.1999.800419"},{"key":"e_1_3_2_1_36_1","volume-title":"Assessment of safety-critical software in nuclear power plants. Nuclear safety 32, 2","author":"Parnas David Lorge","year":"1991","unstructured":"David Lorge Parnas , GJK Asmis , and Jan Madey . 1991. Assessment of safety-critical software in nuclear power plants. Nuclear safety 32, 2 ( 1991 ), 189--198. David Lorge Parnas, GJK Asmis, and Jan Madey. 1991. Assessment of safety-critical software in nuclear power plants. Nuclear safety 32, 2 (1991), 189--198."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.43"},{"key":"e_1_3_2_1_38_1","volume-title":"IEEE standard glossary of software engineering terminology","author":"Radatz Jane","year":"1990","unstructured":"Jane Radatz , Anne Geraci , and Freny Katki . 1990. IEEE standard glossary of software engineering terminology . IEEE Std 61012 1990 , 121990 (1990), 3. Jane Radatz, Anne Geraci, and Freny Katki. 1990. IEEE standard glossary of software engineering terminology. IEEE Std 610121990, 121990 (1990), 3."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244315"},{"key":"e_1_3_2_1_40_1","unstructured":"Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education.   Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13198-011-0065-6"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"e_1_3_2_1_43_1","volume-title":"Pacific North-West Software Quality Conference, Proceedings of 31","author":"Varhol Peter","year":"2013","unstructured":"Peter Varhol and Gerie Owen . 2013 . How Did I Miss That Bug? Pacific North-West Software Quality Conference, Proceedings of 31 (2013). Peter Varhol and Gerie Owen. 2013. How Did I Miss That Bug? Pacific North-West Software Quality Conference, Proceedings of 31 (2013)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2004.1310942"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353866"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"},{"key":"e_1_3_2_1_47_1","volume-title":"Software Engineering-ESEC\/FSE'99","author":"Zeller Andreas","unstructured":"Andreas Zeller . 1999. Yesterday , my program worked. Today, it does not. Why? . In Software Engineering-ESEC\/FSE'99 . Springer , 253--267. Andreas Zeller. 1999. Yesterday, my program worked. Today, it does not. Why?. In Software Engineering-ESEC\/FSE'99. Springer, 253--267."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183519.3183534","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183519.3183534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:11Z","timestamp":1750208891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183519.3183534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":43,"alternative-id":["10.1145\/3183519.3183534","10.1145\/3183519"],"URL":"https:\/\/doi.org\/10.1145\/3183519.3183534","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}