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 ....