Effective Generation of Interface Robustness Properties for Static Analysis.

Mithun Acharya Tanu Sharma Jun Xu Tao Xie

Published in: ASE (2006)

Keyphrases

static analysis
dynamic analysis
source code
user friendly
case study
user interface
regular expressions
symbolic execution
abstract interpretation