{"id":"https://openalex.org/W6963037296","doi":"https://doi.org/10.18420/abp2023-keynote","title":"Algorithmenerkennung und Programmreparatur mittels Dynamischer ProgrammanalyseAlgorithmenerkennung und Programmreparatur mittels Dynamischer Programmanalyse","display_name":"Algorithmenerkennung und Programmreparatur mittels Dynamischer ProgrammanalyseAlgorithmenerkennung und Programmreparatur mittels Dynamischer Programmanalyse","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W6963037296","doi":"https://doi.org/10.18420/abp2023-keynote"},"language":"de","primary_location":{"id":"doi:10.18420/abp2023-keynote","is_oa":true,"landing_page_url":"https://doi.org/10.18420/abp2023-keynote","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/abp2023-keynote","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zuleger, Florian","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zuleger, Florian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39516725,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.2709999978542328,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.2709999978542328,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.06840000301599503,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.06379999965429306,"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/error-analysis","display_name":"Error analysis","score":0.15060000121593475},{"id":"https://openalex.org/keywords/statistical-analysis","display_name":"Statistical analysis","score":0.13379999995231628},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.13210000097751617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3813000023365021},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.2581999897956848},{"id":"https://openalex.org/C29456083","wikidata":"https://www.wikidata.org/wiki/Q1221899","display_name":"Gynecology","level":1,"score":0.2556999921798706},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15279999375343323},{"id":"https://openalex.org/C3018824978","wikidata":"https://www.wikidata.org/wiki/Q2894891","display_name":"Error analysis","level":2,"score":0.15060000121593475},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14959999918937683},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13650000095367432},{"id":"https://openalex.org/C2986587452","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical analysis","level":2,"score":0.13379999995231628},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.13210000097751617},{"id":"https://openalex.org/C3018587665","wikidata":"https://www.wikidata.org/wiki/Q7268696","display_name":"Qualitative analysis","level":3,"score":0.1290999948978424}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/abp2023-keynote","is_oa":true,"landing_page_url":"https://doi.org/10.18420/abp2023-keynote","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/abp2023-keynote","is_oa":true,"landing_page_url":"https://doi.org/10.18420/abp2023-keynote","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"diesem":[1],"Vortrag":[2],"beschreibe":[3],"ich":[4],"zwei":[5],"Ans\u00e4tze":[6],"zur":[7,67],"Erkennung":[8],"der":[9,18,27],"algorithmischen":[10],"Idee":[11],"eines":[12],"Programms":[13],"und":[14,39,62,65],"ihre":[15],"Anwendung":[16],"in":[17,30,44],"Feedback-Generierung":[19],"f\u00fcr":[20],"einf\u00fchrende":[21],"Program-mieraufgaben.":[22],"Beide":[23],"Techniken":[24],"basieren":[25],"auf":[26],"dynamischen":[28],"Programmanalyse,":[29],"Verbindung":[31],"mit":[32],"Constraintprogrammierung.":[33],"Die":[34,48],"erste":[35],"Technik":[36,50],"ist":[37],"halbautomatisch":[38],"zielt":[40],"darauf":[41],"ab,":[42],"Performanceprobleme":[43],"Programmen":[45],"zu":[46],"finden.":[47],"zweite":[49],"verwendet":[51,71],"einen":[52],"gro\u00dfen":[53],"Korpus":[54],"korrekter":[55],"Programme,":[56],"die":[57],"anhand":[58],"von":[59],"syntaktischen":[60],"Kriterien":[61],"Programmausf\u00fchrungen":[63],"geclustert":[64],"anschlie\u00dfend":[66],"Reparatur":[68],"fehlerhafter":[69],"Programme":[70],"werden.":[72]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}