A plugin for Jenkins CI that generates test inputs via Korat.