Test Generation Derived from Model-Checking.

Thierry Jron, Pierre Morel

Browse the full CAV paper archive.