Signature inference for functional property discovery
Please log in to watch this conference skillscast.
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.
YOU MAY ALSO LIKE:
Signature inference for functional property discovery
Tom Sydney Kerckhove
Tom Sydney Kerckhove recently graduated from ETH Zurich. Originally from Belgium, he traveled between London and Zurich to gather professional experience. He has used Haskell as a hobbyist for years, and recently obtained professonal experience as well.