Saturation-based testing of concurrent programs

Open Webpage

Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum

Published: 2009, Last Modified: 22 Mar 2026ESEC/SIGSOFT FSE 2009EveryoneRevisionsBibTeXCC BY-SA 4.0