ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Thu 16 Apr 2015 17:30 - 18:00 at Skeel - Session 9 Chair(s): Jan Vitek

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 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. Our 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. We have implemented our approach as a Haskell testing tool called TARGET, and present an evaluation that shows how TARGET can be used to test a wide variety of properties and how it compares against state-of-the-art testing approaches.

Thu 16 Apr
Times are displayed in time zone: Azores change

16:30 - 18:00: Session 9ESOP at Skeel
Chair(s): Jan VitekNortheastern University
16:30 - 17:00
Binding Structures as an Abstract Data Type
Wilmer RicciottiUniversity of Toulouse
17:00 - 17:30
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK
17:30 - 18:00
Type Targeted Testing
Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego