G Fraser,
A Arcuri - Proceedings of the 19th ACM SIGSOFT symposium …, 2011 - dl.acm.org
To find defects in software, one needs test cases that execute the software systematically,
and oracles that assess the correctness of the observed behavior when running these test …