An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in o

Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches yo

Property testing algorithms are ultra"-efficient algorithms that decide whether a given object (e.g., a graph) has a certain property (e.g., bipartiteness), or

Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testi

This survey focuses on results for testing properties of functions that are of interest to the learning theory community.