Why the Obvious Necessary Condition Is Also Sufficient (2019)

Using Pairwise Testing to Verify Automatically-Generated Formal Specifications (2015)