Skip to content

Latest commit

 

History

History
5 lines (4 loc) · 349 Bytes

README.md

File metadata and controls

5 lines (4 loc) · 349 Bytes
Raw

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).