Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)

Jianfeng Chen, Xipeng Shen, Tim Menzies

Theorem provers has been used extensively in software engineering for software testing or verification. However, software is now so large and complex that additional architecture i…