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-22 LA - en PB - Proceedings of Sixth IEEE International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, -1 PY - 2013 TI - ACTS: A Combinatorial Test Generation Tool ER -