Dynamic Testing from Bounded Data Type Specifications.

Agns Arnould, Pascale Le Gall, Bruno Marre

Browse the full EDCC paper archive.