Dependency-Aware Metamorphic Testing of Datalog Engines-Reference-Cited by-同舟云学术

Dependency-Aware Metamorphic Testing of Datalog Engines

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Mansur Muhammad Numair¹,Wüstholz Valentin²,Christakis Maria³

Affiliation:

1. MPI-SWS, Germany

2. ConsenSys, Austria

3. TU Wien, Austria

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597926.3598052

Reference63 articles.

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.