Static Detection of Implementation Errors Using Formal Code Specification.

Iman Saleh Gregory Kulczycki M. Brian Blake Yi Wei

Published in: SEFM (2013)

Keyphrases

code generation
error detection
formal specification
formal methods
detection accuracy
object detection
detection method
false alarms
detection rate
false positives
formal language
efficient implementation
operational semantics
dynamic analysis
error correction
error propagation
data sets
specification languages