Towards a better collaboration of static and dynamic analyses for testing concurrent programs.

Jun Chen, Steve MacDonald

Browse the full ISSTA paper archive.