Andrea Calvagna, Angelo Gargantini
A Logic-Based Approach to Combinatorial Testing with Constraints
TAP, 2008.
@inproceedings{TAP-2008-CalvagnaG, author = "Andrea Calvagna and Angelo Gargantini", booktitle = "{Proceedings of the Second International Conference on Tests and Proofs}", doi = "10.1007/978-3-540-79124-9_6", isbn = "978-3-540-79123-2", pages = "66--83", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Logic-Based Approach to Combinatorial Testing with Constraints}", volume = 4966, year = 2008, }