Unfolding Based Minimal Test Suites for Testing Multithreaded Programs | IEEE Conference Publication | IEEE Xplore