Bring Your Own Examples

Embedding a Test Oracle in a Specification