{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:37:32Z","timestamp":1784342252616,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"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":[[2016,7,18]]},"DOI":"10.1145\/2931037.2931061","type":"proceedings-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T12:33:29Z","timestamp":1467894809000},"page":"213-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":90,"title":["Automatic generation of oracles for exceptional behaviors"],"prefix":"10.1145","author":[{"given":"Alberto","family":"Goffi","sequence":"first","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1034"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825766"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985903"},{"key":"e_1_3_2_1_4_1","first-page":"171","volume-title":"Proceedings of the 7th International Conference on Software Engineering Advances","author":"Bacherler C.","year":"2012","unstructured":"C. Bacherler , B. Moszkowski , C. Facchi , and A. Huebner . Automated test code generation based on formalized natural language business rules. In ICSEA\u201912 , Proceedings of the 7th International Conference on Software Engineering Advances , pages 165\u2013 171 , 2012 . C. Bacherler, B. Moszkowski, C. Facchi, and A. Huebner. Automated test code generation based on formalized natural language business rules. In ICSEA\u201912, Proceedings of the 7th International Conference on Software Engineering Advances, pages 165\u2013171, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.54"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568287"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2768829"},{"key":"e_1_3_2_1_10_1","first-page":"100","volume-title":"Proceedings of the 11th International Workshop on Software Technology and Engineering Practice","author":"Chen T. Y.","year":"2003","unstructured":"T. Y. Chen , F.-C. Kuo , T. H. Tse , and Z. Q. Zhou . Metamorphic testing and beyond. In STEP\u201903 , Proceedings of the 11th International Workshop on Software Technology and Engineering Practice , pages 94\u2013 100 , 2003 . T. Y. Chen, F.-C. Kuo, T. H. Tse, and Z. Q. Zhou. Metamorphic testing and beyond. In STEP\u201903, Proceedings of the 11th International Workshop on Software Technology and Engineering Practice, pages 94\u2013100, 2003."},{"key":"e_1_3_2_1_11_1","first-page":"414","volume-title":"Proceedings of the 7th International Conference on Quality Software","author":"Cheon Y.","year":"2007","unstructured":"Y. Cheon . Abstraction in assertion-based test oracles. In QSIC\u201907 , Proceedings of the 7th International Conference on Quality Software , pages 410\u2013 414 , 2007 . Y. Cheon. Abstraction in assertion-based test oracles. In QSIC\u201907, Proceedings of the 7th International Conference on Quality Software, pages 410\u2013414, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680018"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_15_1","first-page":"130","volume-title":"Proceedings of the 2nd Conference on Software Development Tools, Techniques, and Alternatives","author":"Day J. D.","year":"1985","unstructured":"J. D. Day and J. D. Gannon . A test oracle based on formal specifications. In SOFTAIR\u201985 , Proceedings of the 2nd Conference on Software Development Tools, Techniques, and Alternatives , pages 126\u2013 130 , 1985 . J. D. Day and J. D. Gannon. A test oracle based on formal specifications. In SOFTAIR\u201985, Proceedings of the 2nd Conference on Software Development Tools, Techniques, and Alternatives, pages 126\u2013130, 1985."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488420"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"e_1_3_2_1_21_1","first-page":"369","volume-title":"Proceedings of the IEEE International Symposium on Software Reliability Engineering","author":"Galeotti J. P.","year":"2013","unstructured":"J. P. Galeotti , G. Fraser , and A. Arcuri . Improving search-based test suite generation with dynamic symbolic execution. In ISSRE\u201913 , Proceedings of the IEEE International Symposium on Software Reliability Engineering , pages 360\u2013 369 , 2013 . J. P. Galeotti, G. Fraser, and A. Arcuri. Improving search-based test suite generation with dynamic symbolic execution. In ISSRE\u201913, Proceedings of the IEEE International Symposium on Software Reliability Engineering, pages 360\u2013369, 2013."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_24_1","first-page":"375","volume-title":"Proceedings of the IEEE International Symposium on Software Reliability Engineering","author":"Gotlieb A.","year":"2003","unstructured":"A. Gotlieb . Exploiting symmetries to test programs. In ISSRE\u201903 , Proceedings of the IEEE International Symposium on Software Reliability Engineering , pages 365\u2013 375 , 2003 . A. Gotlieb. Exploiting symmetries to test programs. In ISSRE\u201903, Proceedings of the IEEE International Symposium on Software Reliability Engineering, pages 365\u2013375, 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-5010"},{"key":"e_1_3_2_1_26_1","first-page":"454","volume-title":"Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation","author":"Marneffe M.","year":"2006","unstructured":"M. Marneffe , B. Maccartney , and C. Manning . Generating typed dependency parses from phrase structure parses. In LREC\u201906 , Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation , pages 449\u2013 454 , 2006 . M. Marneffe, B. Maccartney, and C. Manning. Generating typed dependency parses from phrase structure parses. In LREC\u201906, Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation, pages 449\u2013454, 2006."},{"key":"e_1_3_2_1_27_1","first-page":"174","volume-title":"Proceedings of the 1998 International Conference on Formal Engineering Methods","author":"Mcdonald J.","year":"1998","unstructured":"J. Mcdonald . Translating Object-Z specifications to passive test oracles. In ICFEM\u201998 , Proceedings of the 1998 International Conference on Formal Engineering Methods , pages 165\u2013 174 , 1998 . J. Mcdonald. Translating Object-Z specifications to passive test oracles. In ICFEM\u201998, Proceedings of the 1998 International Conference on Formal Engineering Methods, pages 165\u2013174, 1998."},{"key":"e_1_3_2_1_28_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1988","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice Hall , 1 st edition, 1988 . B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1st edition, 1988.","edition":"1"},{"key":"e_1_3_2_1_29_1","first-page":"180","volume-title":"Proceedings of the 9th International Conference of Z Users","author":"Mikk E.","year":"1995","unstructured":"E. Mikk . Compilation of Z specifications into C for automatic test result evaluation. In ZUM\u201995 , Proceedings of the 9th International Conference of Z Users , pages 167\u2013 180 , 1995 . E. Mikk. Compilation of Z specifications into C for automatic test result evaluation. In ZUM\u201995, Proceedings of the 9th International Conference of Z Users, pages 167\u2013180, 1995."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.18"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_33_1","first-page":"825","volume-title":"Proceedings of the 34th International Conference on Software Engineering","author":"Pandita R.","year":"2012","unstructured":"R. Pandita , X. Xiao , H. Zhong , T. Xie , S. Oney , and A. Paradkar . Inferring method specifications from natural language API descriptions. In ICSE\u201912 , Proceedings of the 34th International Conference on Software Engineering , pages 815\u2013 825 , Zurich, Switzerland , 2012 . R. Pandita, X. Xiao, H. Zhong, T. Xie, S. Oney, and A. Paradkar. Inferring method specifications from natural language API descriptions. In ICSE\u201912, Proceedings of the 34th International Conference on Software Engineering, pages 815\u2013825, Zurich, Switzerland, 2012."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390656"},{"key":"e_1_3_2_1_35_1","unstructured":"Parasoft Corporation. Jtest version 4.5. http:\/\/www.parasoft.com\/.  Parasoft Corporation. Jtest version 4.5. http:\/\/www.parasoft.com\/."},{"key":"e_1_3_2_1_36_1","volume-title":"January","author":"Developers Randoop","year":"2016","unstructured":"Randoop Developers . Randoop manual. https:\/\/randoop.github.io\/randoop\/manual\/ , January 2016 . Randoop Developers. Randoop manual. https:\/\/randoop.github.io\/randoop\/manual\/, January 2016."},{"key":"e_1_3_2_1_37_1","unstructured":"Version 2.1.1.  Version 2.1.1."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771801"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806687"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380130805"},{"key":"e_1_3_2_1_47_1","first-page":"379","volume-title":"Proceedings of the IEEE International Symposium on Software Reliability Engineering","author":"Vivanti M.","unstructured":"M. Vivanti , A. Mis , A. Gorla , and G. Fraser . Search-based data-flow test generation. In ISSRE\u201913 , Proceedings of the IEEE International Symposium on Software Reliability Engineering , pages 370\u2013 379 . IEEE, 2013. M. Vivanti, A. Mis, A. Gorla, and G. Fraser. Search-based data-flow test generation. In ISSRE\u201913, Proceedings of the IEEE International Symposium on Software Reliability Engineering, pages 370\u2013379. IEEE, 2013."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029011"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818831"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488512"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393608"},{"key":"e_1_3_2_1_52_1","first-page":"48","volume-title":"ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering","author":"Xie T.","year":"2003","unstructured":"T. Xie and D. Notkin . Tool-assisted unit test selection based on operational violations . In ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering , pages 40\u2013 48 , Montreal, Canada, October 8\u201310 , 2003 . T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering, pages 40\u201348, Montreal, Canada, October 8\u201310, 2003."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.68"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509523"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"}],"event":{"name":"ISSTA '16: International Symposium on Software Testing and Analysis","location":"Saarbr\u00fccken Germany","acronym":"ISSTA '16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 25th International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:56Z","timestamp":1750222556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":54,"alternative-id":["10.1145\/2931037.2931061","10.1145\/2931037"],"URL":"https:\/\/doi.org\/10.1145\/2931037.2931061","relation":{},"subject":[],"published":{"date-parts":[[2016,7,18]]},"assertion":[{"value":"2016-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}