Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov: Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS 2021: 123-130