{"id":"https://openalex.org/W4229063280","doi":"https://doi.org/10.1145/3477314.3507015","title":"Constraint-logic object-oriented programming for test case generation","display_name":"Constraint-logic object-oriented programming for test case generation","publication_year":2022,"publication_date":"2022-04-25","ids":{"openalex":"https://openalex.org/W4229063280","doi":"https://doi.org/10.1145/3477314.3507015"},"language":"en","primary_location":{"id":"doi:10.1145/3477314.3507015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477314.3507015","pdf_url":null,"source":{"id":"https://openalex.org/S4363608665","display_name":"Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014915513","display_name":"Hendrik Winkelmann","orcid":"https://orcid.org/0000-0002-7208-7411"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hendrik Winkelmann","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013175705","display_name":"Laura Troost","orcid":null},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Laura Troost","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048747275","display_name":"Herbert Kuchen","orcid":"https://orcid.org/0000-0002-6057-3551"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Herbert Kuchen","raw_affiliation_strings":["University of M\u00fcnster, M\u00fcnster, Germany"],"affiliations":[{"raw_affiliation_string":"University of M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5014915513"],"corresponding_institution_ids":["https://openalex.org/I22465464"],"apc_list":null,"apc_paid":null,"fwci":0.4365,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.5794621,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1499","last_page":"1508"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8155587315559387},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8051604628562927},{"id":"https://openalex.org/keywords/java-bytecode","display_name":"Java bytecode","score":0.7581067085266113},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.5529277920722961},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5404772162437439},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5208837985992432},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4594181180000305},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4558093249797821},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.453539103269577},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.42118746042251587},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.42098522186279297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37500637769699097},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.31811103224754333},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.16230833530426025},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1112251877784729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0946984589099884}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8155587315559387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8051604628562927},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.7581067085266113},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.5529277920722961},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5404772162437439},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5208837985992432},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4594181180000305},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4558093249797821},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.453539103269577},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.42118746042251587},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.42098522186279297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37500637769699097},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.31811103224754333},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.16230833530426025},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1112251877784729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0946984589099884},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3477314.3507015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477314.3507015","pdf_url":null,"source":{"id":"https://openalex.org/S4363608665","display_name":"Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W11070830","https://openalex.org/W844671342","https://openalex.org/W1480909796","https://openalex.org/W1602835623","https://openalex.org/W1964065801","https://openalex.org/W1980310053","https://openalex.org/W1982233953","https://openalex.org/W1985378987","https://openalex.org/W2032818299","https://openalex.org/W2047694629","https://openalex.org/W2054628190","https://openalex.org/W2078988604","https://openalex.org/W2097043104","https://openalex.org/W2098639318","https://openalex.org/W2107147876","https://openalex.org/W2110311336","https://openalex.org/W2114869486","https://openalex.org/W2156050478","https://openalex.org/W2548465910","https://openalex.org/W2574017551","https://openalex.org/W2596289355","https://openalex.org/W2731881248","https://openalex.org/W2806600916","https://openalex.org/W2810019268","https://openalex.org/W2911601159","https://openalex.org/W3081281523","https://openalex.org/W3081838412","https://openalex.org/W3103688475","https://openalex.org/W3136521622","https://openalex.org/W3158595750","https://openalex.org/W4232276817","https://openalex.org/W4255156621"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W1531664660","https://openalex.org/W1597500234","https://openalex.org/W1567852657","https://openalex.org/W2175178858","https://openalex.org/W2097415053","https://openalex.org/W1551947503","https://openalex.org/W2136516061","https://openalex.org/W1496100162","https://openalex.org/W2495969191"],"abstract_inverted_index":{"The":[0,57],"constraint-logic":[1,13],"object-oriented":[2],"programming":[3,14],"(CLOOP)":[4],"language":[5],"Muli":[6,22,41,61],"extends":[7],"Java":[8,45],"8":[9],"by":[10],"features":[11],"from":[12,49],"such":[15,23,51],"as":[16,47,52],"built-in":[17],"search.":[18],"We":[19,70],"have":[20],"extended":[21],"that":[24],"it":[25],"is":[26],"now":[27],"ideally":[28],"suited":[29],"to":[30,63],"implement":[31],"test":[32,78],"case":[33],"generators":[34],"based":[35],"on":[36],"symbolic":[37],"execution.":[38],"More":[39],"precisely,":[40],"can":[42],"symbolically":[43],"execute":[44],"bytecode":[46],"generated":[48],"languages":[50],"Java,":[53],"Scala":[54],"or":[55],"Kotlin.":[56],"mentioned":[58],"extension":[59],"of":[60,77],"allows":[62],"automatically":[64],"and":[65],"systematically":[66],"generate":[67],"JUnit":[68],"tests.":[69],"aim":[71],"at":[72],"a":[73],"(nearly)":[74],"minimal":[75],"set":[76],"cases":[79],"achieving":[80],"data-flow":[81],"coverage.":[82]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}