Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

@inproceedings{Banbara2010GeneratingCT,
  title={Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers},
  author={Mutsunori Banbara and Haruki Matsunaka and Naoyuki Tamura and Katsumi Inoue},
  booktitle={LPAR},
  year={2010}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 26 CITATIONS

Similar Papers

Loading similar papers…