Mani Prasad Kancherla

• Generating test templates via automated theorem proving