Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.

Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas

Browse the full ISSTA paper archive.