Signature inference for functional property discovery

schedule May 23rd 03:45 - 04:15 PM place Green Room people 33 Interested

Property discovery is the process of discovering properties of code via
automated testing. It has the potential to be a great tool for a practical
approach to software correctness. Unfortunately current methods remain
infeasible because of the immense search space. We contribute a new
approach to taming the complexity of a state-of-the-art generate and test
algorithm. Our approach runs this algorithm several times with carefully
chosen inputs of smaller size: signature inference. We implement this
approach in a new tool called EasySpec. The results suggest that this
approach is several orders of magnitude faster, fast enough to be practical,
and produces similar results.

1 favorite thumb_down thumb_up 0 comments visibility_off  Remove from Watchlist visibility  Add to Watchlist

Outline/Structure of the Talk

1. The problem with testing
2. Quickspec as a failed solution
3. Signature inference as the solution

Learning Outcome

Participants will be familiar with the most recent research in property discovery

Target Audience

Anyone interested in practical correctness

Prerequisites for Attendees

Property testing

schedule Submitted 1 year ago

Public Feedback

comment Suggest improvements to the Speaker