Verification by Testing for Recursive Program Schemes.

Daniel Le Mtayer, Valrie-Anne Nicolas, Olivier Ridoux

Browse the full LOPSTR paper archive.