Inferring Specifications to Detect Errors in Code.

Published in: ASE (2004)

Keyphrases

error detection
detection method
detection algorithm
automatic detection
unit testing
program code
error analysis
source code
control flow
error correction
segmentation errors
code generation
formal specification
databases
face detection
object oriented
artificial intelligence
neural network