Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation