1. Bug characteristics in open source software;Tan;Empir. Softw. Eng.,2014
2. Type systems;Cardelli;ACM Comput. Surv.,1996
3. An empirical study of object protocols in the wild;Beckman,2011
4. VeriFast: a powerful, sound, predictable, fast verifier for C and Java;Jacobs,2011