SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution.

Yufeng Li Qiusong Yang Yiwei Ci Enyuan Tian

Published in: CoRR (2024)

Keyphrases

program execution
error detection
semantically equivalent
error correction
error recovery
data cleansing
fault tolerance
sql queries
fault isolation
java virtual machine
programming course
query processing
expert systems
preprocessing
high level
databases
database