Systematic Concurrency Testing with Maximal Causality