Time To Clean
Your Test Objectives
by Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
COMPANION WEBSITE, part of www.marcozzi.net
by Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
COMPANION WEBSITE, part of www.marcozzi.net
> Paper
Detailed scores and computation times
Labeled files, pruning data and test suite execution data
Technical details and unoptimized/optimized versions of source files
OCAML source of the LClean module of LTest
> Ubuntu VM with Installed LClean Tool and Paper Benchmarks
Bootable virtual HD to be loaded in a Virtualbox VM (login: osboxes.org password: osboxes.org)