@inproceedings{fan2016model,
title={Model-Based Continuous Verification},
author={Fan, Lingling and Chen, Sen and Xu, Lihua and Yang, Zongyuan and Zhu, Huibiao},
booktitle={Software Engineering Conference (APSEC), 2016 23rd Asia-Pacific},
pages={81--88},
year={2016},
organization={IEEE}
}