1. Lecture Notes in Computer Science;M Ameri,2016
2. AutoProof verified code repository. http://tiny.cc/autoproof-repo
3. Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507–525 (2015)
4. Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong University of Science and Technology (1998)
5. Lecture Notes in Computer Science;YT Chen,2017