{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:51:08Z","timestamp":1773654668052,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,7]],"date-time":"2010-11-07T00:00:00Z","timestamp":1289088000000},"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":[[2010,11,7]]},"DOI":"10.1145\/1882362.1882407","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"211-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["The future of library specification"],"prefix":"10.1145","author":[{"given":"Gary T.","family":"Leavens","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.49"},{"key":"e_1_3_2_1_2_1","unstructured":"M. Campione and K. Walrath. The Java Tutorial Second Edition: Object-Oriented Programming for the Internet. The Java Series. Addison-Wesley Reading MA second edition 1998.   M. Campione and K. Walrath. The Java Tutorial Second Edition: Object-Oriented Programming for the Internet. The Java Series. Addison-Wesley Reading MA second edition 1998."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Y.\n       \n      Cheon\n     and \n      \n      \n      G. T.\n       \n      Leavens\n      \n  \n  . \n  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 \n  2374\n   of \n  Lecture Notes in Computer Science pages \n  231\n  --\n  255 Berlin June \n  2002\n  . \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_5_1","volume-title":"WODA 2003: ICSE Workshop on Dynamic Analysis","author":"Ernst M. D.","year":"2003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359495"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/11589976_3","volume-title":"5th International Conference, IFM","author":"Godefroid P.","year":"2005"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0059-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321637"},{"key":"e_1_3_2_1_10_1","unstructured":"T. Jim. Yakker: A parser generator for network protocol messages. PDF of talk Nov. 2005. http:\/\/www2.research.att.com\/~trevor\/talks\/yakker-njpls.pdf.  T. Jim. Yakker: A parser generator for network protocol messages. PDF of talk Nov. 2005. http:\/\/www2.research.att.com\/~trevor\/talks\/yakker-njpls.pdf."},{"key":"e_1_3_2_1_11_1","unstructured":"D. E.\n       \n      Knuth\n    . \n      \n      \n      Literate\n       \n      Programming volume \n  27\n   of \n  CSLI Lecture Notes\n  . Center for the Study of Language and Information Stanford University 1992\n  .   D. E. Knuth. Literate Programming volume 27 of CSLI Lecture Notes. Center for the Study of Language and Information Stanford University 1992."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"G. T.\n       \n      Leavens\n     and \n      \n      \n      A. L.\n       \n      Baker\n      \n  \n  . \n  Enhancing the preand 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 \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 preand 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_13_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry P. Chalin and D. M. Zimmerman. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Sept. 2009.  G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry P. Chalin and D. M. Zimmerman. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Sept. 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186508"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297053"},{"key":"e_1_3_2_1_17_1","volume-title":"Cambridge University Press","author":"Spivey J. M.","year":"1988"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081745"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146255"}],"event":{"name":"SIGSOFT\/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Santa Fe New Mexico USA","acronym":"SIGSOFT\/FSE'10","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the FSE\/SDP workshop on Future of software engineering research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882362.1882407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1882362.1882407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:34Z","timestamp":1750244374000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882362.1882407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,7]]},"references-count":19,"alternative-id":["10.1145\/1882362.1882407","10.1145\/1882362"],"URL":"https:\/\/doi.org\/10.1145\/1882362.1882407","relation":{},"subject":[],"published":{"date-parts":[[2010,11,7]]},"assertion":[{"value":"2010-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}