Even using tool like this it seem to be a combinatorial explosion issue. If your app contain 10 distinct transactions. you have to test what happen if 2 insta

Even using tool like this it seem to be a combinatorial explosion issue. If your app contain 10 distinct transactions. you have to test what happen if 2 instances of tx #1 run concurrently. But also if tx #1 and tx #2 run concurrently. And also what if tx #1 and tx #3 run concurrently ....