Passive testing of
production systems based
on model inference.

William Durand, Sébastien Salva
September 22, 2015 / MEMOCODE'15

In Depth Testing