Finding Bugs with Specification-Based Testing is Easy! - Janice Chin; David Pearce (Art Sci. Eng. Program., 2021)