Work

Quantitative Symbolic Non-Equivalence Analysis

Year: 2024

Type: conference-paper

Abstract: Equivalence analysis focuses on assessing whether different programs, or different versions of a program, exhibit identical behavior. While extensive research has been done on equivalence analysis, there is a lack of detailed and quantitative reasoning techniques for non-equivalence. In this paper we introduce quantitative symbolic non-equivalence analysis and evaluate its effectiveness on the EqBench [3] benchmark (the largest available benchmark for equivalence analysis), and demonstrate how it can be used for reasoning about the non-equivalence of different versions of C programs.

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695324

Authors: Laboni Sarker, Tevfik Bultan

Institution: University of California, Santa Barbara

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: National Science Foundation

Awards: Collaborative Research: SHF: Small: Automated Quantitative Assessment of Testing Difficulty, SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair