Typestate-guided Exploration of Interleavings Using SMT Robert Frohardt and Jonathan Turner (with help from Devin Coughlin, Bor-Yuh Evan Chang, and Sriram.