ypsilon: Automated Use Case Testing