Specification-by-Example crossed with Approval Testing