2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) Conference

Scholarly Activity

related documents

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