Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.

Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang

Browse the full TASE paper archive.