McSAF: A Static Analysis Framework for MATLAB.

Jesse Doherty Laurie J. Hendren

Published in: ECOOP (2012)

Keyphrases

static analysis
main contribution
dynamic analysis
symbolic execution
data sets
knowledge base
software engineering
source code
access control
abstract interpretation