Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing
Published in ACM Transactions on Software Engineering and Methodology • Feb 12, 2024
Authors:,,
Xinmeng Xia
Yang Feng
Qingkai Shi
Abstract
Skeletal program enumeration (SPE) can generate a great number of test programs for validating the correctness of compilers or interpreters. The classic SPE generates programs by exhaustively enumerating all possible variable usage patterns into a given syntactic structure. Even though it is capable...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!