RED: a tool for runtime error detection in C programs using abstract interpretation.

Anirban Roy Choudhury A. K. Bhattacharjee

Published in: ISEC (2012)

Keyphrases

error detection
abstract interpretation
error correction
termination analysis
static analysis
fault tolerance
active rules
reasoning engine
dynamic analysis
fault isolation
business process
spatial databases
deductive databases
reverse engineering
artificial intelligence
multi agent systems
case study