Complex, Dependent, Interactive, Insidious
[cries in Quality Assurance]
getLunch "fishy" == TunaSalad getLunch "hungry spicy" == ExtraHot HalfChicken
forAll text' becomes '
property-based testing, lifted to the level of application behaviour.
randomised inputs for actions
actions defined independently, package generates a list
you thought shrinking was cool before…
a failure will produce:
new feature ~ new Command(s)
Learn the weirding way!
Use classification to understand your test-case distribution