Suitability analysis of CSP- and SMT-solvers for test case generation.

Hermann Felbinger, Christian Schwarzl

Browse the full ICSE paper archive.