Target Testing: Automated Test Case Discovery using Inferred Models