Browsing Mathematics (Faculty of) by Subject "Software Testing"
Now showing items 1-1 of 1
-
Enabling Language-Specific Transformations in Language-Agnostic Program Reduction
(University of Waterloo, 2023-08-30)When a program P triggers a bug in a language implementation, program reduction can reduce P by removing program elements that are irrelevant to the bug, to facilitate debugging. Program reduction has been widely used in ...