Christian Colombo

Additional feature? State-machine-based property testing

2

For a number of years, I have been on the lookout for a Java QuickCheck tool supporting state-machine-based properties. For example http://www.quviq.com/products/erlang-quickcheck/ and http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_finite_state_machines.html, and http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/ offer the possibility of...

State-machine-based testing

4

Many flavours of QuickCheck (eg: http://www.quviq.com/products/erlang-quickcheck/, http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_finite_state_machines.html, http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/) offer the possibility of specifying properties in terms of finite state machines. This is very convenient when the property being tested has...