JZ6/Software-Verification-and-Testing

Projects dedicated to Black & White Box software testing. Utilizing techniques such as Concolic testing, MC/DC, SAT/SMT, Hoare Logic, Delta debugging, and Daikon Automatic Invariance Generation