Integration Testing from Structured First-Order Specifications via Deduction Modulo.

Delphine Longuet, Marc Aiguier

Browse the full ICTAC paper archive.