Login / Signup
Evaluating the Effectiveness of Static Analysis Programs Versus Manual Inspection in the Detection of Natural Spreadsheet Errors.
Salvatore Aurigemma
Raymond R. Panko
Published in:
J. Organ. End User Comput. (2014)
Keyphrases
</>
static analysis
manual inspection
symbolic execution
source code
dynamic analysis
abstract interpretation
object detection
detection algorithm
man made
error detection
test suite
malicious code
database
detection method
anomaly detection
test generation
java card
domain knowledge
high level
case study
databases