Systematic and Scalable Testing of Concurrent Programs