from invariant checking to invariant inference using randomized search published presentations and documents on DocSlides.