Coverage and Its Discontents
A Comprehensive Survey of Trends in Oracles for Software Testing