TY - CONF AU - Raghu Kacker C2 - Proceedings of Sixth IEEE International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, -1 DA - 2013-03-18 LA - en PB - Proceedings of Sixth IEEE International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, -1 PY - 2013 TI - An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=913191 ER -