Using On-The-Fly Verification Techniques for the Generation of test Suites.

Jean-Claude Fernandez, Claude Jard, Thierry Jron, Csar Viho

Browse the full CAV paper archive.