English
Related papers

Related papers: Using Metamorphic Relations to Verify and Enhance …

200 papers

Out-of-context (OOC) misinformation poses a significant challenge in multimodal fact-checking, where images are paired with texts that misrepresent their original context to support false narratives. Recent research in evidence-based OOC…

Computer Vision and Pattern Recognition · Computer Science 2024-07-19 Stefanos-Iordanis Papadopoulos , Christos Koutlis , Symeon Papadopoulos , Panagiotis C. Petrantonakis

Image classification in the open-world must handle out-of-distribution (OOD) images. Systems should ideally reject OOD images, or they will map atop of known classes and reduce reliability. Using open-set classifiers that can reject OOD…

Computer Vision and Pattern Recognition · Computer Science 2022-01-10 Mohsen Jafarzadeh , Touqeer Ahmad , Akshay Raj Dhamija , Chunchun Li , Steve Cruz , Terrance E. Boult

While a recent study reveals that many developer-written test cases can encode a reusable Metamorphic Relation (MR), over 70% of them directly hard-code the source input and follow-up input in the encoded relation. Such encoded MRs, which…

Software Engineering · Computer Science 2026-04-14 Congying Xu , Songqiang Chen , Jiarong Wu , Shing-Chi Cheung , Valerio Terragni , Hengcheng Zhu , Jialun Cao

Motivated by certain applications from physics, biochemistry, economics, and computer science, in which the objects under investigation are not accessible because of various limitations, we propose a trial-and-error model to examine…

Computational Complexity · Computer Science 2013-04-19 Xiaohui Bei , Ning Chen , Shengyu Zhang

Image segmentation is critical for applications such as medical imaging, augmented reality, and video surveillance. However, segmentation models often lack robustness, making them vulnerable to adversarial perturbations from subtle image…

Computer Vision and Pattern Recognition · Computer Science 2025-04-04 Seif Mzoughi , Mohamed Elshafeia , Foutse Khomh

Multimodal Large Language Models (MLLMs) have shown strong performance in document image tasks, especially Optical Character Recognition (OCR). However, they struggle with Document Image Machine Translation (DIMT), which requires handling…

Computation and Language · Computer Science 2025-07-14 Yupu Liang , Yaping Zhang , Zhiyang Zhang , Zhiyuan Chen , Yang Zhao , Lu Xiang , Chengqing Zong , Yu Zhou

Our topic is the use of machine learning to improve software by making choices which do not compromise the correctness of the output, but do affect the time taken to produce such output. We are particularly concerned with computer algebra…

Symbolic Computation · Computer Science 2020-04-16 Dorian Florescu , Matthew England

A test oracle serves as a criterion or mechanism to assess the correspondence between software output and the anticipated behavior for a given input set. In automated testing, black-box techniques, known for their non-intrusive nature in…

Software Engineering · Computer Science 2023-10-11 Boxi Yu , Qiuyang Mang , Qingshuo Guo , Pinjia He

Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural network malware classification systems are key tools for combating these threats but…

Cryptography and Security · Computer Science 2024-04-09 Preston K. Robinette , Diego Manzanas Lopez , Serena Serbinowska , Kevin Leach , Taylor T. Johnson

The recent statistical theory of neural networks focuses on nonparametric denoising problems that treat randomness as additive noise. Variability in image classification datasets does, however, not originate from additive noise but from…

Statistics Theory · Mathematics 2025-08-19 Juntong Chen , Sophie Langer , Johannes Schmidt-Hieber

Object detection and classification using aerial images is a challenging task as the information regarding targets are not abundant. Synthetic Aperture Radar(SAR) images can be used for Automatic Target Recognition(ATR) systems as it can…

Computer Vision and Pattern Recognition · Computer Science 2022-12-15 Sumanth Udupa , Aniruddh Sikdar , Suresh Sundaram

Software refactoring is the process of changing the structure of software without any alteration in its behavior and functionality. Presuming it is carried out in appropriate opportunities, refactoring enhances software quality…

Software Engineering · Computer Science 2023-01-20 Hanieh Khosravi , Abbas Rasoolzadegan

This paper presents a novel predictive model, MetaMorph, for metamorphic registration of images with appearance changes (i.e., caused by brain tumors). In contrast to previous learning-based registration methods that have little or no…

Computer Vision and Pattern Recognition · Computer Science 2023-03-10 Jian Wang , Jiarui Xing , Jason Druzgal , William M. Wells , Miaomiao Zhang

Dirty data and deceptive design practices can undermine, invert, or invalidate the purported messages of charts and graphs. These failures can arise silently: a conclusion derived from a particular visualization may look plausible unless…

Human-Computer Interaction · Computer Science 2021-04-07 Andrew McNutt , Gordon Kindlmann , Michael Correll

There currently exist two main approaches to reproducing visual appearance using Machine Learning (ML): The first is training models that generalize over different instances of a problem, e.g., different images of a dataset. As one-shot…

Graphics · Computer Science 2022-09-29 Michael Fischer , Tobias Ritschel

Open Set Recognition (OSR) extends image classification to an open-world setting, by simultaneously classifying known classes and identifying unknown ones. While conventional OSR approaches can detect Out-of-Distribution (OOD) samples, they…

Computer Vision and Pattern Recognition · Computer Science 2022-08-16 Piyapat Saranrittichai , Chaithanya Kumar Mummadi , Claudia Blaiotta , Mauricio Munoz , Volker Fischer

We investigate how different active learning (AL) query policies coupled with classification uncertainty visualizations affect analyst trust in automated classification systems. A current standard policy for AL is to query the oracle (e.g.,…

Machine Learning · Computer Science 2020-04-03 Michael L. Iuzzolino , Tetsumichi Umada , Nisar R. Ahmed , Danielle A. Szafir

Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to…

Artificial Intelligence · Computer Science 2017-05-08 Xiaowei Huang , Marta Kwiatkowska , Sen Wang , Min Wu

Large language models and deep learning models designed for code intelligence have revolutionized the software engineering field due to their ability to perform various code-related tasks. These models can process source code and software…

Software Engineering · Computer Science 2025-07-31 Ali Asgari , Milan de Koning , Pouria Derakhshanfar , Annibale Panichella

When the distribution of the data used to train a classifier differs from that of the test data, i.e., under dataset shift, well-established routines for calibrating the decision scores of the classifier, estimating the proportion of…

Machine Learning · Computer Science 2025-05-19 Alejandro Moreo