{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:48Z","timestamp":1750220388133,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"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":[[2022,4,25]]},"DOI":"10.1145\/3477314.3507015","type":"proceedings-article","created":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:37:36Z","timestamp":1651883856000},"page":"1499-1508","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-logic object-oriented programming for test case generation"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"Winkelmann","sequence":"first","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]},{"given":"Laura","family":"Troost","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706356.1706363"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72013-1_24"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983940"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"volume-title":"An Integrated Constraint-Logic and Object-Oriented Programming Language: The M\u00fcnster Logic-Imperative Language. Dissertation","author":"Dagef\u00f6rde Jan C.","key":"e_1_3_2_1_7_1","unstructured":"Jan C. Dagef\u00f6rde. 2020. An Integrated Constraint-Logic and Object-Oriented Programming Language: The M\u00fcnster Logic-Imperative Language. Dissertation. University of M\u00fcnster."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167260"},{"key":"e_1_3_2_1_9_1","volume-title":"Dagef\u00f6rde and Herbert Kuchen","author":"Jan","year":"2020","unstructured":"Jan C. Dagef\u00f6rde and Herbert Kuchen. 2020. Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Pedro Lopez-Garcia, Roberto Giacobazzi, and John Gallagher (Eds.). Springer."},{"key":"e_1_3_2_1_10_1","volume-title":"Dagef\u00f6rde and Finn Teegen","author":"Jan","year":"2020","unstructured":"Jan C. Dagef\u00f6rde and Finn Teegen. 2020. Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. In Declarative Programming and Knowledge Management, Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, and Dietmar Seipel (Eds.). Springer International Publishing, Cham, 199--214."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479409"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73749"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411203.1411233"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/291252.288298"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120821"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/785411.785416"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/306363.306382"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02508-3_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.33"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90168-F"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3020266"},{"volume-title":"Pex-White Box Test Generation for .NET","author":"Tillmann Nikolai","key":"e_1_3_2_1_28_1","unstructured":"Nikolai Tillmann and Jonathan de Halleux. 2008. Pex-White Box Test Generation for .NET. In Tests and Proofs, Bernhard Beckert and Reiner H\u00e4hnle (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 134--153."},{"volume-title":"The Finite Domain Constraint Solver of SWI-Prolog","author":"Triska Markus","key":"e_1_3_2_1_29_1","unstructured":"Markus Triska. 2012. The Finite Domain Constraint Solver of SWI-Prolog. In Functional and Logic Programming, Tom Schrijvers and Peter Thiemann (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 307--316."},{"volume-title":"Concolic Execution and Test Case Generation in Prolog","author":"Vidal Germ\u00e1n","key":"e_1_3_2_1_30_1","unstructured":"Germ\u00e1n Vidal. 2015. Concolic Execution and Test Case Generation in Prolog. In Logic-Based Program Synthesis and Transformation, Maurizio Proietti and Hirohisa Seki (Eds.). Springer International Publishing, Cham, 167--181."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"volume-title":"Constraint-Logic Object-Oriented Programming with Free Arrays","author":"Winkelmann Hendrik","key":"e_1_3_2_1_33_1","unstructured":"Hendrik Winkelmann, Jan C. Dagef\u00f6rde, and Herbert Kuchen. 2021. Constraint-Logic Object-Oriented Programming with Free Arrays. In Functional and Constraint Logic Programming, Michael Hanus and Claudio Sacerdoti Coen (Eds.). Springer International Publishing, Cham, 129--144."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442050"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"}],"event":{"name":"SAC '22: The 37th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event","acronym":"SAC '22"},"container-title":["Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507015","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477314.3507015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:33Z","timestamp":1750191513000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":35,"alternative-id":["10.1145\/3477314.3507015","10.1145\/3477314"],"URL":"https:\/\/doi.org\/10.1145\/3477314.3507015","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]},"assertion":[{"value":"2022-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}