GitHub repository: FAU-Inf2/StarSmith
Primary language: Java
Created: 2019-12-30T11:12:48Z
Description: This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.