Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia

The artifact used to produce the results for Sibyl: Improving Software Engineering Tools with SMT Selection is publicly available on Software Heritage and is reusable. The artifact consists of several python and bash scripts, saved model checkpoints, and example problems. The data required to replicate the study is freely available on Zenodo and StarExec. It also includes a Dockerfile for ease of reproduction. Users should be experienced with Linux and Python in general.