{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:55Z","timestamp":1763467975384,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T00:00:00Z","timestamp":1278892800000},"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,7,12]]},"DOI":"10.1145\/1831708.1831719","type":"proceedings-article","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T13:31:10Z","timestamp":1278941470000},"page":"85-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":96,"title":["Generating test cases for specification mining"],"prefix":"10.1145","author":[{"given":"Valentin","family":"Dallmeier","sequence":"first","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Knopp","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Mallon","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Hack","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","first-page":"144","volume-title":"The Spec# programming system: Challenges and directions","author":"Barnett M.","year":"2008","unstructured":"M. Barnett , R. Deline , M. F\u00e4hndrich , B. Jacobs , K. R. Leino , W. Schulte , and H. Venter . The Spec# programming system: Challenges and directions . pages 144 -- 152 , 2008 . M. Barnett, R. Deline, M. F\u00e4hndrich, B. Jacobs, K. R. Leino, W. Schulte, and H. Venter. The Spec# programming system: Challenges and directions. pages 144--152, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273476"},{"key":"e_1_3_2_1_6_1","first-page":"84","volume-title":"2007 International symposium on Software testing and analysis","year":"2007","unstructured":"the 2007 International symposium on Software testing and analysis , pages 84 -- 94 , New York, NY, USA , 2007 . ACM. the 2007 International symposium on Software testing and analysis, pages 84--94, New York, NY, USA, 2007. ACM."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111567"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_3_2_1_15_1","volume-title":"International Conference on, 0: 49","author":"Gupta N.","year":"2003","unstructured":"N. Gupta and Z. V. Heidepriem . A new structural coverage criterion for dynamic detection of program invariants. Automated Software Engineering , International Conference on, 0: 49 , 2003 . N. Gupta and Z. V. Heidepriem. A new structural coverage criterion for dynamic detection of program invariants. Automated Software Engineering, International Conference on, 0:49, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"e_1_3_2_1_17_1","unstructured":"http:\/\/ostatic.com\/ristretto. Ristretto 1.0 2010. {17} J. C. King. Symbolic execution and program testing.  http:\/\/ostatic.com\/ristretto. Ristretto 1.0 2010. {17} J. C. King. Symbolic execution and program testing."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_20_1","unstructured":"R. Majumdar and K. Sen. Hybrid concolic testing. In  R. Majumdar and K. Sen. Hybrid concolic testing. In"},{"key":"e_1_3_2_1_21_1","first-page":"416","volume-title":"'07: Proceedings of the 29th International Conference on Software Engineering","author":"ICSE","year":"2007","unstructured":"ICSE '07: Proceedings of the 29th International Conference on Software Engineering , pages 416 -- 426 , Washington, DC, USA , 2007 . IEEE Computer Society. ICSE '07: Proceedings of the 29th International Conference on Software Engineering, pages 416--426, Washington, DC, USA, 2007. IEEE Computer Society."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070522"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.296"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.48"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250749"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134027"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007528"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081751"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-24617-6_5","volume-title":"Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES 03)","volume":"2931","author":"Xie T.","year":"2003","unstructured":"T. Xie and D. Notkin . Mutually enhancing test generation and specification inference . In Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES 03) , volume 2931 of LNCS, pages 60 -- 69 , October 2003 . T. Xie and D. Notkin. Mutually enhancing test generation and specification inference. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES 03), volume 2931 of LNCS, pages 60--69, October 2003."}],"event":{"name":"ISSTA '10: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Trento Italy","acronym":"ISSTA '10"},"container-title":["Proceedings of the 19th international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1831708.1831719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1831708.1831719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:42Z","timestamp":1750246782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1831708.1831719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,12]]},"references-count":34,"alternative-id":["10.1145\/1831708.1831719","10.1145\/1831708"],"URL":"https:\/\/doi.org\/10.1145\/1831708.1831719","relation":{},"subject":[],"published":{"date-parts":[[2010,7,12]]},"assertion":[{"value":"2010-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}