{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:08Z","timestamp":1772163968577,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,4]],"date-time":"2009-10-04T00:00:00Z","timestamp":1254614400000},"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":[[2009,10,4]]},"DOI":"10.1145\/1621607.1621612","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T14:23:22Z","timestamp":1254839002000},"page":"15-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The axioms strike back"],"prefix":"10.1145","author":[{"given":"Anya Helene","family":"Bagge","sequence":"first","affiliation":[{"name":"University of Bergen, Bergen, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"David","sequence":"additional","affiliation":[{"name":"University of Bergen, Bergen, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magne","family":"Haveraaen","sequence":"additional","affiliation":[{"name":"University of Bergen, Bergen, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/75199.75241"},{"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\/1449814.1449829"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.038"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09)","author":"Bagge A. H.","year":"2009","unstructured":"A. H. Bagge and M. Haveraaen . Interfacing concepts: Why declaration style shouldn't matter. In T. Ekman and J. J. Vinju, editors , Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09) , Electronic Notes in Theoretical Computer Science. Elsevier, York, UK , March 2009 . A. H. Bagge and M. Haveraaen. Interfacing concepts: Why declaration style shouldn't matter. In T. Ekman and J. J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09), Electronic Notes in Theoretical Computer Science. Elsevier, York, UK, March 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053579"},{"key":"e_1_3_2_1_7_1","volume-title":"Test-Driven Development: By Example","author":"Beck K.","year":"2002","unstructured":"K. Beck . Test-Driven Development: By Example . Addison-Wesley , 2002 . ISBN 0321146530. K. Beck. Test-Driven Development: By Example. Addison-Wesley, 2002. ISBN 0321146530."},{"key":"e_1_3_2_1_8_1","volume-title":"JUnit -- Java Unit testing","author":"Beck K.","unstructured":"K. Beck and E. Gamma . JUnit -- Java Unit testing . http:\/\/www.junit.org and http:\/\/junit.sourceforge.net\/ per 2007-03-15. K. Beck and E. Gamma. JUnit -- Java Unit testing. http:\/\/www.junit.org and http:\/\/junit.sourceforge.net\/ per 2007-03-15."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1144366.1144369"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111558"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287004"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366380"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120822"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"e_1_3_2_1_19_1","unstructured":"M.-C.\n      Gaudel\n    .\n  Testing can be formal too\n  . In P. D. Mosses M. Nielsen and M. I. Schwartzbach editors TAPSOFT volume \n  915\n   of \n  Lecture Notes in Computer Science pages \n  82\n  --\n  96\n  . \n  Springer 1995\n  . ISBN 3-540-59293-8.   M.-C. Gaudel. Testing can be formal too. In P. D. Mosses M. Nielsen and M. I. Schwartzbach editors TAPSOFT volume 915 of Lecture Notes in Computer Science pages 82--96. Springer 1995. ISBN 3-540-59293-8."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_7"},{"key":"e_1_3_2_1_21_1","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"Goguen J.","year":"1978","unstructured":"J. Goguen , J. Thatcher , and E. Wagner . An initial algebra approach to the specification, correctness and implementation of abstract data types . In R. Yeh, editor, Current Trends in Programming Methodology , volume 4 , pages 80 -- 149 . Prentice Hall , 1978 . J. Goguen, J. Thatcher, and E. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology, volume 4, pages 80--149. Prentice Hall, 1978."},{"key":"e_1_3_2_1_22_1","volume-title":"Technical Report TR639","author":"Gottschling P.","year":"2006","unstructured":"P. Gottschling . Fundamental algebraic concepts in concept-enabled C++. Technical Report TR639 , Department of Computer Science , Indiana University , 2006 . P. Gottschling. Fundamental algebraic concepts in concept-enabled C++. Technical Report TR639, Department of Computer Science, Indiana University, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.815325"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230209"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"e_1_3_2_1_30_1","first-page":"970","volume-title":"Encyclopedia of Software Engineering","author":"Hamlet R.","year":"1994","unstructured":"R. Hamlet . Random testing . In J. Marciniak, editor, Encyclopedia of Software Engineering , pages 970 -- 978 . Wiley , 1994 . R. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970--978. Wiley, 1994."},{"key":"e_1_3_2_1_31_1","first-page":"43","volume-title":"Norsk informatikkonferanse NIK'2005","author":"Haveraaen M.","year":"2005","unstructured":"M. Haveraaen and E. Brkic . Structured testing in Sophus . In E. Coward, editor, Norsk informatikkonferanse NIK'2005 , pages 43 -- 54 . Tapir akademisk forlag, Trondheim, Norway, 2005 . URL http:\/\/www.nik.no\/2005\/. M. Haveraaen and E. Brkic. Structured testing in Sophus. In E. Coward, editor, Norsk informatikkonferanse NIK'2005, pages 43--54. Tapir akademisk forlag, Trondheim, Norway, 2005. URL http:\/\/www.nik.no\/2005\/."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.12.001"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449814.1449834"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226301"},{"key":"e_1_3_2_1_35_1","volume-title":"Abstractions for Language-Independent Program Transformations","author":"Kalleberg K. T.","year":"2007","unstructured":"K. T. Kalleberg . Abstractions for Language-Independent Program Transformations , chapter 11. University of Bergen, Norway, Postboks 7800, 5020 Bergen , Norway, June 2007 . ISBN 978-82-308-0441-4. K. T. Kalleberg. Abstractions for Language-Independent Program Transformations, chapter 11. University of Bergen, Norway, Postboks 7800, 5020 Bergen, Norway, June 2007. ISBN 978-82-308-0441-4."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808426"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808426"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297919"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/646778.704187"},{"key":"e_1_3_2_1_43_1","unstructured":"P. Sommerlad. C++ Unit Testing Easier 2009. URL http:\/\/r2.ifs.hsr.ch\/cute.  P. Sommerlad. C++ Unit Testing Easier 2009. URL http:\/\/r2.ifs.hsr.ch\/cute."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"P. D.\n      Stotts M.\n      Lindsey and \n      A.\n      Antley\n  . \n  An informal formal method for systematic JUnit test case generation\n  . In D. Wells and L. A. Williams editors XP\/Agile Universe volume \n  2418\n   of \n  Lecture Notes in Computer Science pages \n  131\n  --\n  143\n  . \n  Springer 2002\n  . ISBN 3-540-44024-0.   P. D. Stotts M. Lindsey and A. Antley. An informal formal method for systematic JUnit test case generation. In D. Wells and L. A. Williams editors XP\/Agile Universe volume 2418 of Lecture Notes in Computer Science pages 131--143. Springer 2002. ISBN 3-540-44024-0.","DOI":"10.1007\/3-540-45672-4_13"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1512762.1512772"},{"key":"e_1_3_2_1_46_1","unstructured":"The Transformers Group LRDE EPITA. Transformers 2008. URL http:\/\/www.lrde.epita.fr\/cgi-bin\/twiki\/view\/Transformers\/Transformers.  The Transformers Group LRDE EPITA. Transformers 2008. URL http:\/\/www.lrde.epita.fr\/cgi-bin\/twiki\/view\/Transformers\/Transformers."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.39"},{"key":"e_1_3_2_1_48_1","first-page":"91 2015","volume-title":"QSIC '03: Proceedings of the Third International Conference on Quality Software","author":"Zhu H.","year":"2003","unstructured":"H. Zhu . A note on test oracles and semantics of algebraic specifications . In QSIC '03: Proceedings of the Third International Conference on Quality Software , pages 91 -- 98 . IEEE Computer Society, Washington, DC, USA , 2003 . ISBN 0-7695- 2015 - 2014 . H. Zhu. A note on test oracles and semantics of algebraic specifications. In QSIC '03: Proceedings of the Third International Conference on Quality Software, pages 91--98. IEEE Computer Society, Washington, DC, USA, 2003. ISBN 0-7695-2015-4."}],"event":{"name":"GPCE'09: Generative Programming and Component Engineering","location":"Denver Colorado USA","acronym":"GPCE'09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eighth international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621612","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1621607.1621612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:46Z","timestamp":1750234666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621612"}},"subtitle":["testing with concepts and axioms in C++"],"short-title":[],"issued":{"date-parts":[[2009,10,4]]},"references-count":43,"alternative-id":["10.1145\/1621607.1621612","10.1145\/1621607"],"URL":"https:\/\/doi.org\/10.1145\/1621607.1621612","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837852.1621612","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,4]]},"assertion":[{"value":"2009-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}