English
Related papers

Related papers: Using Metamorphic Relations to Verify and Enhance …

200 papers

Deep learning (DL) frameworks are essential to DL-based software systems, and framework bugs may lead to substantial disasters, thus requiring effective testing. Researchers adopt DL models or single interfaces as test inputs and analyze…

Software Engineering · Computer Science 2025-07-08 Yanzhou Mu , Juan Zhai , Chunrong Fang , Xiang Chen , Zhixiang Cao , Peiran Yang , Kexin Zhao , An Guo , Zhenyu Chen

The most common malware detection approaches which are based on signature matching and are not sufficient for metamorphic malware detection, since virus kits and metamorphic engines can produce variants with no resemblance to one another.…

Cryptography and Security · Computer Science 2018-11-13 Reza Mirzazadeh , Mohammad Hossein Moattar , Majid Vafaei Jahan

Adversarial attacks are small, carefully crafted perturbations, imperceptible to the naked eye; that when added to an image cause deep learning models to misclassify the image with potentially detrimental outcomes. With the rise of…

Computer Vision and Pattern Recognition · Computer Science 2019-07-11 Rohan Reddy Mekala , Gudjon Einar Magnusson , Adam Porter , Mikael Lindvall , Madeline Diep

This paper investigates the user experience of visualizations of a machine learning (ML) system that recognizes objects in images. This is important since even good systems can fail in unexpected ways as misclassifications on photo-sharing…

Human-Computer Interaction · Computer Science 2020-08-06 Hendrik Heuer , Andreas Breiter

Deep learning models are widely used for image analysis. While they offer high performance in terms of accuracy, people are concerned about if these models inappropriately make inferences using irrelevant features that are not encoded from…

Machine Learning · Computer Science 2021-05-25 Yongqiang Tian , Shiqing Ma , Ming Wen , Yepang Liu , Shing-Chi Cheung , Xiangyu Zhang

Metaphors are ubiquitous in human language. The metaphor detection task (MD) aims at detecting and interpreting metaphors from written language, which is crucial in natural language understanding (NLU) research. In this paper, we introduce…

Computation and Language · Computer Science 2021-07-29 Weicheng Ma , Ruibo Liu , Lili Wang , Soroush Vosoughi

Assessing the trustworthiness of Large Language Models (LLMs), such as robustness, has garnered significant attention. Recently, metamorphic testing that defines Metamorphic Relations (MRs) has been widely applied to evaluate the robustness…

Software Engineering · Computer Science 2025-07-09 Sangwon Hyun , Shaukat Ali , M. Ali Babar

In recent years, Large language model-powered Automated Program Repair (LAPR) techniques have achieved state-of-the-art bug-fixing performance and have been pervasively applied and studied in both industry and academia. Nonetheless, LLMs…

Software Engineering · Computer Science 2025-03-11 Pengyu Xue , Linhao Wu , Zhen Yang , Zhongxing Yu , Zhi Jin , Ge Li , Yan Xiao , Shuo Liu , Xinyi Li , Hongyi Lin , Jingwen Wu

In spite of the high accuracy of the existing optical mark reading (OMR) systems and devices, a few restrictions remain existent. In this work, we aim to reduce the restrictions of multiple choice questions (MCQ) within tests. We use an…

Computer Vision and Pattern Recognition · Computer Science 2019-01-15 Mahmoud Afifi , Khaled F. Hussain

Automated testing is essential for evaluating and improving the reliability of Large Language Models (LLMs), yet the lack of automated oracles for verifying output correctness remains a key challenge. We present LLMORPH, an automated…

Software Engineering · Computer Science 2026-03-26 Steven Cho , Stefano Ruberto , Valerio Terragni

Automation of test oracles is one of the most challenging facets of software testing, but remains comparatively less addressed compared to automated test input generation. Test oracles rely on a ground-truth that can distinguish between the…

Software Engineering · Computer Science 2023-04-07 Ali Reza Ibrahimzada , Yigit Varli , Dilara Tekinoglu , Reyhaneh Jabbarvand

Recent advances in deep neural networks (DNNs) have led to object detectors that can rapidly process pictures or videos, and recognize the objects that they contain. Despite the promising progress by industrial manufacturers such as Amazon…

Computer Vision and Pattern Recognition · Computer Science 2019-12-30 Shuai Wang , Zhendong Su

This paper investigates the uncertainty of Generative Pre-trained Transformer (GPT) models in extracting mathematical equations from images of varying resolutions and converting them into LaTeX code. We employ concepts of entropy and mutual…

Information Theory · Computer Science 2024-12-10 Alexei Kaltchenko

Regression testing is crucial in ensuring that pure code refactoring does not adversely affect existing software functionality, but it can be expensive, accounting for half the cost of software maintenance. Automated test case generation…

Software Engineering · Computer Science 2024-01-05 Alejandra Duque-Torres , Claus Klammer , Dietmar Pfahl , Stefan Fischer , Rudolf Ramler

Meta-learning for offline reinforcement learning (OMRL) is an understudied problem with tremendous potential impact by enabling RL algorithms in many real-world applications. A popular solution to the problem is to infer task identity as…

Machine Learning · Computer Science 2021-10-18 Lanqing Li , Yuanhao Huang , Mingzhe Chen , Siteng Luo , Dijun Luo , Junzhou Huang

As the Internet is growing rapidly these years, the variant of malicious software, which often referred to as malware, has become one of the major and serious threats to Internet users. The dramatic increase of malware has led to a research…

Machine Learning · Computer Science 2020-04-10 Jingyun Jia

Augmented generation techniques such as Retrieval-Augmented Generation (RAG) and Cache-Augmented Generation (CAG) have revolutionized the field by enhancing large language model (LLM) outputs with external knowledge and cached information.…

Software Engineering · Computer Science 2024-02-23 Guanyu Wang , Yuekang Li , Yi Liu , Gelei Deng , Tianlin Li , Guosheng Xu , Yang Liu , Haoyu Wang , Kailong Wang

This article discusses the challenges of testing software systems with increasingly integrated AI and LLM functionalities. LLMs are powerful but unreliable, and labeled ground truth for testing rarely scales. Metamorphic Testing solves this…

Software Engineering · Computer Science 2026-03-27 Valerio Terragni

Zero-shot LLMs are now also used for textual classification tasks, e.g., sentiment and bias detection in a sentence or article. However, their performance can be suboptimal in such data annotation tasks. We introduce a novel technique that…

Computation and Language · Computer Science 2025-11-11 Sina Salimian , Gias Uddin , Shaina Raza , Henry Leung

Regression is one of the most commonly used statistical techniques. However, testing regression systems is a great challenge because of the absence of test oracle in general. In this paper, we show that Metamorphic Testing is an effective…

Methodology · Statistics 2021-08-24 Quang-Hung Luu , Man F. Lau , Sebastian P. H. Ng , Tsong Yueh Chen