The Factori smart-contracts development assistant reached a new Milestone. It now features a powerful DSL to write test scenarios.
Here is a pretty detailed tutorial that demonstrates the strengths of the DSL:
Roughly, you can write a set of small unit test scenarios that exercise a smart contract’s entrypoints on some inputs and use them to (automatically) build more complex integration tests interleaving entrypoints calls.