Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems"

Kamp M (2024)

Publication Language: English

Publication Type: Other publication type, Forschungsdaten

Publication year: 2024

Book Volume: Zenodo

DOI: 10.5281/zenodo.10593916

Open Access Link: https://doi.org/10.5281/zenodo.10593916

Abstract

This is the replication package for the dissertation Kamp, M.: "Detecting Unrealizable Bit Vector Program Synthesis Problems", Friedrich-Alexander University Erlangen-Nürnberg, 2024.

Authors with CRIS profile

Marius Kamp Lehrstuhl für Informatik 2 (Programmiersysteme)

Related research project(s)

Analysis of Code Repositories (AnaCoRe) Jan. 1, 2010 - April 12, 2024

How to cite

APA:

Kamp, M. (2024). Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems".

MLA:

Kamp, Marius. Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems". 2024.

BibTeX: Download