"Jenkins Automatron"@cs .