GitHub repository: star-finder/jpf-costar
Primary language: Java
Description: Test input generation using separation logic