An Optimal Algorithm for the Automatic Generation of March Tests.

Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto

Browse the full DATE paper archive.