@conference{18951,
  author = {Raghu Kacker},
  title = {An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation},
  year = {2013},
  month = {2013-03-18},
  publisher = {Proceedings of
Sixth IEEE International Conference on Software Testing, Verification and Validation
ICST 2013, Luxembourg, -1},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=913191},
  language = {en},
}