CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). - Pavel S. Andrianov; Vadim S. Mutilin; Mikhail U. Mandrykin; Anton A. Vasilyev (TACAS (2), 2018)

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness. - Anton A. Vasilyev; Vadim S. Mutilin (Program. Comput. Softw., 2020)