Lightweight State Capturing for Automated Testing of Multithreaded Programs.

Kari Khknen, Keijo Heljanko

Browse the full TAP paper archive.