piCoq: parallel regression proving for large-scale verification projects.

Karl Palmskog, Ahmet elik, Milos Gligoric

Browse the full ISSTA paper archive.