Predictive And Programmable Testing Of Concurrent And Cloud Systems