Type Targeted Testing

Download Now
Provided by: Cornell University
Topic: Software
Format: PDF
The authors present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. The key insight behind their approach is that through the lens of SMT solvers, refinement types can also be viewed as a high-level, declarative, test generation technique, wherein types are converted to SMT queries whose models can be decoded into concrete program inputs. Their approach enables the systematic and exhaustive testing of implementations from high-level declarative specifications, and furthermore, provides a gradual path from testing to full verification.
Download Now

Find By Topic