Login / Signup
Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing.
Xinmeng Xia
Yang Feng
Qingkai Shi
James A. Jones
Xiangyu Zhang
Baowen Xu
Published in:
ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
</>
control program
error handling
symbolic execution
test cases
computer programs
programming language
set of test cases
training data
information technology
software testing
automatic programming
control structures
provably correct
java bytecode
concurrent programs