Test Generation from Bounded Algebraic Specifications using Alloy.

Francisco Rebello de Andrade, Joo Pascoal Faria, Ana C. R. Paiva

Browse the full ICSoft paper archive.