A divide & conquer approach to testing concurrent programs with JPF

Canh Minh Do, Kazuhiro Ogata

Browse the full APSEC paper archive.