The promise of test automation - the automatic application of software inputs to find bugs - is tempered by the difficulty of automatically verifying behavior. Indeed, the lack of tools for behavior verification is a major ...