{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:51Z","timestamp":1750308111000,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,19]],"date-time":"2005-09-19T00:00:00Z","timestamp":1127088000000},"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":[[2005,9,19]]},"DOI":"10.1145\/1085130.1085150","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"149-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A contextual interpretation of undefinedness for runtime assertion checking"],"prefix":"10.1145","author":[{"given":"Yoonsik","family":"Cheon","sequence":"first","affiliation":[{"name":"The University of Texas at El Paso, El Paso, Texas"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, Iowa"}]}],"member":"320","published-online":{"date-parts":[[2005,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Runtime Verification held in conjunction with the 13th Conference on Computer Aided Verification, CAV'01, 2001","author":"Bartetzko D.","year":"2001","unstructured":"D. Bartetzko , C. Fischer , M. Moller , and H. Wehrheim . Jass - Java with assertions . In Workshop on Runtime Verification held in conjunction with the 13th Conference on Computer Aided Verification, CAV'01, 2001 . Published in Electronic Notes in Theoretical Computer Science, K. Havelund and G. Rosu (eds.), 55(2) , 2001 .]] D. Bartetzko, C. Fischer, M. Moller, and H. Wehrheim. Jass - Java with assertions. In Workshop on Runtime Verification held in conjunction with the 13th Conference on Computer Aided Verification, CAV'01, 2001. Published in Electronic Notes in Theoretical Computer Science, K. Havelund and G. Rosu (eds.), 55(2), 2001.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(98)00083-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-1991-14402","article-title":"Three-valued predicates for software specification and validation","author":"Blikle A.","year":"1991","unstructured":"A. Blikle . Three-valued predicates for software specification and validation . Fundamenta Informaticae , XIV : 387 -- 410 , 1991 .]] A. Blikle. Three-valued predicates for software specification and validation. Fundamenta Informaticae, XIV:387--410, 1991.]]","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_4_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 7(3):212--232","author":"Burdy L.","year":"2005","unstructured":"L. Burdy , Y. Cheon , D. Cok , M. Ernst , J. Kiniry , G. T. Leavens , K. R. M. Leino , and E. Poll . An overview of {JML tools and applications . International Journal on Software Tools for Technology Transfer (STTT), 7(3):212--232 , June 2005 .]] L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of {JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT), 7(3):212--232, June 2005.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"The Object Database Standard: ODMG--93","author":"Cattell R.","year":"1994","unstructured":"R. Cattell . The Object Database Standard: ODMG--93 . Morgan Kaufmann Publishers , San Mateo , California, 1994 .]] R. Cattell. The Object Database Standard: ODMG--93. Morgan Kaufmann Publishers, San Mateo, California, 1994.]]"},{"key":"e_1_3_2_1_7_1","first-page":"290","volume-title":"Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05)","author":"Cheon Y.","year":"2005","unstructured":"Y. Cheon , M. Kim , and A. Perumendla . A complete automation of unit testing for java programs. In H. R. Arabnia and H. Reza, editors , Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05) , Volume I , Las Vegas, Nevada , June 27-29, 2005 , pages 290 -- 295 . CSREA Press, 2005.]] Y. Cheon, M. Kim, and A. Perumendla. A complete automation of unit testing for java programs. In H. R. Arabnia and H. Reza, editors, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Volume I, Las Vegas, Nevada, June 27-29, 2005, pages 290--295. CSREA Press, 2005.]]"},{"key":"e_1_3_2_1_8_1","first-page":"322","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02)","author":"Cheon Y.","year":"2002","unstructured":"Y. Cheon and G. T. Leavens . A runtime assertion checker for the Java Modeling Language (JML). In H. R. Arabnia and Y. Mun, editors , Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02) , Las Vegas, Nevada, USA , June 24-27, 2002 , pages 322 -- 328 . CSREA Press, June 2002.]] Y. Cheon and G. T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In H. R. Arabnia and Y. Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322--328. CSREA Press, June 2002.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Y.\n      Cheon\n     and \n      G. T.\n      Leavens\n  . \n  A simple and practical approach to unit testing: The JML and JUnit way\n  . In B. Magnusson editor ECOOP \n  2002\n   --- Object-Oriented Programming 16th European Conference M\u00e1alaga Spain Proceedings volume \n  2374\n   of \n  Lecture Notes in Computer Science pages \n  231\n  --\n  255 Berlin June 2002. \n  Springer-Verlag\n  .]]   Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. In B. Magnusson editor ECOOP 2002 --- Object-Oriented Programming 16th European Conference M\u00e1alaga Spain Proceedings volume 2374 of Lecture Notes in Computer Science pages 231--255 Berlin June 2002. Springer-Verlag.]]","DOI":"10.1007\/3-540-47993-7_10"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060168.1060172"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485225"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512558"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BFb0015254","volume-title":"Computer Science Today: Recent Trends and Developments, number 1000 in Lecture Notes in Computer Science","author":"Gries D.","year":"1995","unstructured":"D. Gries and F. B. Schneider . Avoiding the undefined by underspecification . In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, number 1000 in Lecture Notes in Computer Science , pages 366 -- 373 . Springer-Verlag , New York, NY , 1995 .]] D. Gries and F. B. Schneider. Avoiding the undefined by underspecification. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, number 1000 in Lecture Notes in Computer Science, pages 366--373. Springer-Verlag, New York, NY, 1995.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00042-B"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178666"},{"key":"e_1_3_2_1_17_1","first-page":"349","volume-title":"Proceedings of TOOLS Pacific 95 (TOOLS 18)","author":"Kent S.","year":"1995","unstructured":"S. Kent and I. Maung . Quantified Assertions in Eiffel . In Proceedings of TOOLS Pacific 95 (TOOLS 18) , pages 349 -- 364 . Prentice Hall , November 1995 .]] S. Kent and I. Maung. Quantified Assertions in Eiffel. In Proceedings of TOOLS Pacific 95 (TOOLS 18), pages 349--364. Prentice Hall, November 1995.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1991-14403","article-title":"A three-valued logic for software specification and validation","author":"Konikowska B.","year":"1991","unstructured":"B. Konikowska , A. Tarlecki , and A. Blikle . A three-valued logic for software specification and validation . Fundamenta Informaticae , XIV : 411 -- 453 , 1991 .]] B. Konikowska, A. Tarlecki, and A. Blikle. A three-valued logic for software specification and validation. Fundamenta Informaticae, XIV:411--453, 1991.]]","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_19_1","first-page":"295","volume-title":"Los Alamitos","author":"Kramer R.","year":"1998","unstructured":"R. Kramer . iContract -- the Java design by contract tool. TOOLS 26: Technology of Object-Oriented Languages and Systems , Los Alamitos , California , pages 295 -- 307 , 1998 .]] R. Kramer. iContract -- the Java design by contract tool. TOOLS 26: Technology of Object-Oriented Languages and Systems, Los Alamitos, California, pages 295--307, 1998.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"G. T.\n      Leavens\n     and \n      A. L.\n      Baker\n  . \n  Enhancing the pre- and postcondition technique for more expressive specifications\n  . In J. M. Wing J. Woodcock and J. Davies editors FM'99 --- \n  Formal Methods\n  : World Congress on Formal Methods in the Development of Computing Systems Toulouse France September \n  1999 Proceedings volume \n  1709\n   of \n  Lecture Notes in Computer Science pages \n  1087\n  --\n  1106\n  . \n  Springer-Verlag 1999.]]   G. T. Leavens and A. L. Baker. Enhancing the pre- and postcondition technique for more expressive specifications. In J. M. Wing J. Woodcock and J. Davies editors FM'99 --- Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 1999 Proceedings volume 1709 of Lecture Notes in Computer Science pages 1087--1106. Springer-Verlag 1999.]]","DOI":"10.1007\/3-540-48118-4_8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003926"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_26_1","series-title":"Object-Oriented Series","volume-title":"The Language","author":"Meyer B.","year":"1992","unstructured":"B. Meyer . Eiffel : The Language . Object-Oriented Series . Prentice Hall , New York, NY , 1992 .]] B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, NY, 1992.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Object-oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"B. Meyer . Object-oriented Software Construction . Prentice Hall , New York, NY , second edition, 1997 .]] B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, NY, second edition, 1997.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143098"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/42.2.73"},{"key":"e_1_3_2_1_30_1","unstructured":"Sun Microsystems Inc. A simple assertion facility for the java programming language. Available from http:\/\/java.sun.com\/docs\/books\/jls\/assert-spec.html (Date retrieved: April 2 2003).]]  Sun Microsystems Inc. A simple assertion facility for the java programming language. Available from http:\/\/java.sun.com\/docs\/books\/jls\/assert-spec.html (Date retrieved: April 2 2003).]]"}],"event":{"name":"AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Monterey California USA","acronym":"AADEBUG05"},"container-title":["Proceedings of the sixth international symposium on Automated analysis-driven debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085150","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1085130.1085150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,19]]},"references-count":27,"alternative-id":["10.1145\/1085130.1085150","10.1145\/1085130"],"URL":"https:\/\/doi.org\/10.1145\/1085130.1085150","relation":{},"subject":[],"published":{"date-parts":[[2005,9,19]]},"assertion":[{"value":"2005-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}