Sciweavers

Share
PTS
2010
175views Hardware» more  PTS 2010»
8 years 9 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
books