Metamorphic testing of Datalog engines-Reference-Cited by-同舟云学术

Metamorphic testing of Datalog engines

Published:2021-08-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

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

Affiliation:

1. MPI-SWS, Germany

2. ConsenSys, Germany

Funder

DFG

Publisher

ACM

Link

Reference80 articles.

1. [n.d.]. Radamsa. https://gitlab.com/akihe/radamsa [n.d.]. Radamsa. https://gitlab.com/akihe/radamsa

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Testing Gremlin-Based Graph Database Systems via Query Disassembling;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10