7 citations · 20 across the 10 of their papers we have counts for
10 papers
LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
Zhi Quan Zhou, Dave Towey, Tsong Yueh Chen
Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given…
Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
Zheng Zheng, Zenghui Zhou, Yinwang Xu +2
Large language models (LLMs) have introduced substantial challenges to software quality assurance due to their generative, probabilistic, and open-ended nature, which intensifies t…
Integrating Artificial Intelligence with Human Expertise: An In-depth Analysis of ChatGPT's Capabilities in Generating Metamorphic Relations
Yifan Zhang, Dave Towey, Matthew Pike +3
Context: This paper provides an in-depth examination of the generation and evaluation of Metamorphic Relations (MRs) using GPT models developed by OpenAI, with a particular focus o…
MORTAR: Multi-turn Metamorphic Testing for LLM-based Dialogue Systems
Aaron Guoxiang Guo, Aldeida Aleti, Neelofar Neelofar +3
With the widespread application of LLM-based dialogue systems in daily life, quality assurance has become more important than ever. Recent research has successfully introduced meth…
Metamorphic Relation Generation: State of the Art and Visions for Future Research
Rui Li, Huai Liu, Pak-Lok Poon +5
Metamorphic testing has become one mainstream technique to address the notorious oracle problem in software testing, thanks to its great successes in revealing real-life bugs in a…
Can ChatGPT advance software testing intelligence? An experience report on metamorphic testing
Quang-Hung Luu, Huai Liu, Tsong Yueh Chen
While ChatGPT is a well-known artificial intelligence chatbot being used to answer human's questions, one may want to discover its potential in advancing software testing. We exami…
Testing Ocean Software with Metamorphic Testing
Quang-Hung Luu, Huai Liu, Tsong Yueh Chen +1
Advancing ocean science has a significant impact to the development of the world, from operating a safe navigation for vessels to maintaining a healthy and diverse ocean ecosystem.…
A Sequential Metamorphic Testing Framework for Understanding Automated Driving Systems
Quang-Hung Luu, Huai Liu, Tsong Yueh Chen +1
Automated driving systems (ADS) are expected to be reliable and robust against a wide range of driving scenarios. Their decisions, first and foremost, must be well understood. Unde…
Use of Metamorphic Relations as Knowledge Carriers to Train Deep Neural Networks
Tsong Yueh Chen, Pak-Lok Poon, Kun Qiu +2
Training multiple-layered deep neural networks (DNNs) is difficult. The standard practice of using a large number of samples for training often does not improve the performance of…
A Declarative Metamorphic Testing Framework for Autonomous Driving
Yao Deng, Xi Zheng, Tianyi Zhang +4
Autonomous driving has gained much attention from both industry and academia. Currently, Deep Neural Networks (DNNs) are widely used for perception and control in autonomous drivin…