Reliable benchmarking: requirements and solutions Dirk BeyerStefan LöwePhilipp Wendler Regular Paper Open access 03 November 2017 Pages: 1 - 29
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 Ezio BartocciYliès FalconeYi Zhang Regular Paper Open access 07 April 2017 Pages: 31 - 70
Greedy pebbling for proof space compression Andreas FellnerBruno Woltzenlogel Paleo Regular Paper Open access 27 June 2017 Pages: 71 - 86
Hybrid automata: from verification to implementation Stanley BakOmar Ali BegChristian Schilling Regular Paper 12 June 2017 Pages: 87 - 104
TestREx: a framework for repeatable exploits Stanislav DashevskyiDaniel Ricardo dos SantosAntonino Sabetta Regular Paper 25 September 2017 Pages: 105 - 119