Model-Based Continuous Verification.

Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu

Browse the full APSEC paper archive.