2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Journal

Overview

publication venue for

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving 2013