by M Sachenbacher and P Maier
Reference:
Test Strategy Generation using Quantified CSPs (M Sachenbacher and P Maier), In Proc. International Conference on Principles and Practice of Constraint Programming (CP'08), 2008. (Accepted for publication)
Bibtex Entry:
@inproceedings{sachenbacher_test_2008,
author = {M Sachenbacher and P Maier},
title = {Test Strategy Generation using Quantified {CSPs}},
booktitle = {Proc. International Conference on Principles and Practice of Constraint
Programming ({CP'08)}},
year = {2008},
}