54 citations · 255 across the 28 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 35 cited
Type Targeted Testing
Eric L. Seidel, Niki Vazou, Ranjit Jhala
We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. The key insight behind our approach is that throu…
cs.PL2014★ 1 cited
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages
Niki Vazou, Eric L. Seidel, Ranjit Jhala
SMT-based verifiers have long been an effective means of ensuring safety properties of programs. While these techniques are well understood, we show that they implicitly require ea…