Treffer: MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety

Title:
MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety
Authors:
Ouyang, C., Xie, D., Ma, H., Song, W., Ying, J., Shen, S., Liu, P.
Source:
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. PP(99):1-16
Database:
IEEE Xplore Digital Library