TY - RPRT TI - DSpot: Test Amplification for Automatic Assessment of Computational Diversity AU - Benoit Baudry AU - Simon Allier AU - Marcelino Rodriguez-Cancio AU - Martin Monperrus PY - 2015 UR - https://arxiv.org/abs/1503.05807 ID - 1503.05807 ER -