Bruto enables the developer to implement test coverage for his software by purely describing the validity formula to be honoured by his artifacts.
The framework has the responsibility of exploring the code and run a significant number of argument permutations to stress the interface while ensuring that the truths expressed by the validity formulas are held valid.
This project is at its early prototyping stage and any feedback about the concept, implementation details and design are of course appreciated.
thanks,
Dario