Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi and Shaz Qadeer

Details

Publication typeInproceedings
Published inPLDI 07: Programming Language Design and Implementation
Pages446–455
PublisherAssociation for Computing Machinery, Inc.
> Publications > Iterative context bounding for systematic testing of multithreaded programs