Lambda Days 2018 - Tom Sydney Kerckhove - Signature Inference for Functional Property Discovery

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
Register to Lambda Days newsletter to receive updates:

Tom Sydney Kerckhove
Recently Graduated Software Engineer; now working at FP Complete.

Signature Inference for Functional Property Discovery

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. 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.
Lambda Day 2018

Post your comment