Title: Generating test templates via automated theorem proving
Subjects: Theorem proving, Computer programming, Failure, Software engineering, Software development tools