CDA Generation by SMT (SAC2020)

This is the code archive for the paper 'Constrained Detecting Arrays for Fault Localization in Combinatorial Testing' published in SAC2020.

1. Use cmake and make to build the tool.
2. Need Z3 prover and Boost Library (include head files and libraries from /usr/local/include and /usr/local/lib -- default path).