1. Paolo Baldan , Andrea Corradini , and Barbara König . 2001 . A Static Analysis Technique for Graph Transformation Systems . In CONCUR (LNCS , Vol. 2154). Springer, 381– 395 . Paolo Baldan, Andrea Corradini, and Barbara König. 2001. A Static Analysis Technique for Graph Transformation Systems. In CONCUR (LNCS, Vol. 2154). Springer, 381–395.
2. Paolo Baldan and Barbara König . 2002 . Approximating the Behaviour of Graph Transformation Systems . In ICGT (LNCS , Vol. 2505). Springer, 14– 29 . Paolo Baldan and Barbara König. 2002. Approximating the Behaviour of Graph Transformation Systems. In ICGT (LNCS, Vol. 2505). Springer, 14–29.
3. The Oracle Problem in Software Testing: A Survey
4. Formulog;Bembenek Aaron;Datalog for SMT-Based Static Analysis. In OOPSLA. ACM,2020
5. Dmitry Blotsky , Federico Mora , Murphy Berzish , Yunhui Zheng , Ifaz Kabir , and Vijay Ganesh . 2018 . StringFuzz: A Fuzzer for String Solvers . In CAV (LNCS , Vol. 10982). Springer, 45– 51 . Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, and Vijay Ganesh. 2018. StringFuzz: A Fuzzer for String Solvers. In CAV (LNCS, Vol. 10982). Springer, 45–51.