VEGA: a verification tool based on genetic algorithms.

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero

Browse the full ICCD paper archive.