2025 IEEE International Conference on Cyber Security and Resilience

Full Program

Summary:

Software is the backbone of modern systems and daily life and the reliability of its testing is paramount. A key challenge in software testing is the Oracle problem which determines whether software behavior is correct. In modern web systems such as online banking applications this often involves verifying outputs generated from a large set of inputs which is both complex and costly. Full automation is necessary to reduce costs and improve the efficiency of these application development processes. However achieving such automation requires strategies for automatically generating test inputs and addressing the Oracle problem including distinguishing between correct and incorrect system behavior. Metamorphic Testing (MT) effectively addresses the Oracle Problem by evaluating software through its core characteristics. This method produces various inputs for a program applies specific transformations and compares the outputs to the originals to ensure accuracy. Metamorphic Relations (MRs) are central to MT which define how outputs should

Author(s):

Karishma Rahman    
Montana State University
United States

Ann Marie Reinhold    
Montana State University
United States

Clemente Izurieta    
Montana State University
United States

 


Copyright © 2025 SUMMIT-TEC GROUP LTD