"Formally modeling deceptive patches using a game-based approach."

Jeffrey Avery, John Ross Wallrabenstein (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics