Login / Signup
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
Xueguang Wu
Liqian Chen
Antoine Miné
Wei Dong
Ji Wang
Published in:
ACM Trans. Embed. Comput. Syst. (2016)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
java card
malicious code
regular expressions
test generation
api calls
open source
databases
artificial intelligence
test suite
control flow
xml documents