Search Results for ''

published presentations and documents on DocSlides.

Regression Verification for Multi-Threaded Programs

by ellena-manuel

VMCAI 2012. January 24, 2012. Arie. . Gurfinkel...

1 Regression Verification

by natalia-silvester

for . Multi-Threaded Programs. Sagar Chaki, SEI-P...