SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution.
Sunbeom SoSeongjoon HongHakjoo OhPublished in: USENIX Security Symposium (2021)
Keyphrases
- language model
- symbolic execution
- language modeling
- n gram
- probabilistic model
- speech recognition
- language modelling
- document retrieval
- static analysis
- retrieval model
- query expansion
- context sensitive
- ad hoc information retrieval
- information retrieval
- test data generation
- statistical language models
- source code
- test collection
- specification language
- hidden markov models
- query terms
- test generation
- smoothing methods
- retrieval effectiveness
- mixture model
- data flow
- translation model
- statistical machine translation
- query specific
- relevance model
- high level