Enhancing Logic Error Detection Through Program Pseudocodes.

Zhenyu Xu Victor S. Sheng

Published in: APSEC (2023)

Keyphrases

error detection
error correction
error recovery
data cleansing
fault tolerance
error correcting
modal logic
classical logic
error resilient
computer programs
neural network
data streams
distributed systems
logic programming