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

> Paper

> Experimentation Results

Detailed scores and computation times

> Experimentation Artifacts

Labeled files, pruning data and test suite execution data

> WP Improvements

Technical details and unoptimized/optimized versions of source files

> Source Code

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)