Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites.

First Page		Document Content
Date: 2014-10-20 15:46:33		Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. Add to Reading List Source URL: goto.ucsd.edu Download Document from Source Website File Size: 613,29 KB Share Document on Facebook