Combining Static Analysis and Constraint Solving for Automatic Test Case Generation | IEEE Conference Publication | IEEE Xplore