We planted nine bugs in an AP datamart. Tests generated from the mapping caught none.
We built an Oracle Payables datamart, broke it nine ways, and tested it twice: with tests generated from its mapping, and with Verum. Here is the scorecard, bug by bug.