Analysis of Code Repositories (AnaCoRe)

Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems" (2024) Kamp M Other publication type, Forschungsdaten Detecting Unrealizable Bit Vector Program Synthesis Problems (2024) Kamp M Thesis Forschungsdaten Test-Eintrag 1 (weiterer Typ, online, Band) [Data set] (2023) Philippsen M Other publication type, Forschungsdaten Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible (2021) Kamp M, Philippsen M Conference contribution, Original article Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible" (2020) Kamp M, Philippsen M Other publication type, Forschungsdaten SeSaMe: A Data Set of Semantically Similar Java Methods (2019) Kamp M, Kreutzer P, Philippsen M Conference contribution, Original article SeSaMe: A Data Set of Semantically Similar Java Methods [Data set] (2019) Kamp M, Kreutzer P, Philippsen M Other publication type, Forschungsdaten Learning Code Transformations from Repositories (2018) Dotzler G Thesis FAU-Inf2/tree-measurements: PhD Thesis Version [Data set] (2018) Dotzler G, Philippsen M Other publication type, Forschungsdaten FAU-Inf2/cthree: PhD Thesis Version (2018) Kreutzer P, Dotzler G, Philippsen M Other publication type, Forschungsdaten