Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.

Shaoying Liu

Browse the full TAP paper archive.