Panayiotis Katsaros

Program analysis with risk-based classification of dynamic invariants for logical error detection

Dimitris Gritzalis, George Stergiopoulos, Panayiotis Katsaros, 2017, Comput. Secur..