Passive testing of production systems based on model inference.

William Durand, Sbastien Salva

Browse the full MEMOCODE paper archive.