Testing of concurrent and imperative software using CLP.

Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa

Browse the full PPDP paper archive.