Login / Signup
Loopfrog - loop summarization for static analysis.
Daniel Kroening
Natasha Sharygina
Stefano Tonetta
Aliaksei Tsitovich
Christoph M. Wintersteiger
Published in:
WING@ETAPS/IJCAR (2010)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
regular expressions
test generation
java card
automatic summarization
abstract interpretation
multi document summarization
test suite
symbolic execution
text summarization
databases
database systems
data warehouse