Input-Driven Active Testing of Multi-threaded Programs | IEEE Conference Publication | IEEE Xplore