Improving assertion oracles with evolutionary computation
Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella · Proceedings of the Genetic and Evolutionary Computation Conference Companion · 2021
Assertion oracles are executable boolean expressions placed inside a software program that verify the correctness of test executions. A perfect assertion oracle passes (returns true) for all correct executions and fails (returns false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions often fail to distinguish between correct and incorrect executions. In other words, they are prone to false positives and false negatives.