GDSynth: A Graph Database Testing Framework via Effective Graph Synthesis
Graph database management systems (GDBMSs) are used in various domains, including safety-critical applications. A challenging aspect of testing such systems is that it needs a large and diverse amount of test data consisting of queries and graph contents. However, existing GDBMS testing tools provide very limited support for synthesizing a meaningful and diverse set of test graphs. This paper presents GDSynth, our novel testing framework that aims to reveal bugs in graph database management systems by innovatively combining (1) metamodel mutations with (2) automated synthesis of domain-specific graph models as test data executed on existing test queries. The usefulness of our framework is showcased by performing automated metamorphic testing of the Neo4J graph database and revealing a previously reported real bug. Our demo video is available at https://youtu.be/dIPlf0G3-d0 and our open-source code is available at https://github.com/FozAhm/GDSynth.
Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
16:00 - 17:30 | Testing and Analysis 20Demonstrations at Oceania II Chair(s): Gunel Jahangirova King's College London | ||
16:00 15mTalk | JUnitGenie: A Framework for Path-Sensitive Unit Test Generation with Large Language Models Demonstrations Dianshu Liao the Australian National University, Xin Yin Zhejiang University, Shidong Pan Columbia University & New York University, Chao Ni Zhejiang University, Zhenchang Xing CSIRO’s Data61; Australian National University, xiaoyu sun The Australian National University Media Attached | ||
16:15 15mTalk | BugHunter: An Automated Tool for Bug-Aware GUI Testing via Retrieval Augmentation Demonstrations Zhe Liu Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Xu Xiang Beike Technology Co., Ltd., Yujiao Yuan Beike Technology Co., Ltd., Qing Wang Institute of Software at Chinese Academy of Sciences | ||
16:30 15mTalk | Automated Testing of Conversational Agents with Chatbot Dōjō Demonstrations Iván Sotillo del Horno Universidad Autónoma de Madrid, Alejandro del Pozzo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Media Attached | ||
16:45 15mTalk | GDSynth: A Graph Database Testing Framework via Effective Graph Synthesis Demonstrations Fozail Ahmad McGill University, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University, Lili Wei McGill University DOI Media Attached | ||
17:00 15mTalk | WiseUT: An Intelligent Framework for Unit Test Generation Demonstrations Chen Yang Tianjin University, Ziqi Wang Tianjin University, Lin Yang Tianjin University, Dong Wang Tianjin University, Shutao Gao Tianjin University, Yanjie Jiang Tianjin University, Junjie Chen Tianjin University | ||
17:15 15mTalk | RESTifAI: LLM-Based Workflow for Reusable REST API Testing Demonstrations Leon Kogler CASABLANCA hotelsoftware, Maximilian Ehrhart CASABLANCA hotelsoftware, Benedikt Dornauer University of Innsbruck; University of Cologne, Eduard Paul Enoiu Mälardalen University | ||