Passive testing of
production systems based
on model inference.

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

In Depth Testing