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