ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2018

Article Details
Title: piCoq: parallel regression proving for large-scale verification projects
Article URLs:
Alternative Article URLs:
Authors: Karl Palmskog
  • University of Texas at Austin
Ahmet Çelik
  • University of Texas at Austin
Milos Gligoric
  • University of Texas at Austin
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1566363, 1652517
DBLP Key: conf/issta/PalmskogCG18
Author Comments:

Discuss this paper and its artifacts below