Login / Signup
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS.
Abdelraouf Ouadjaout
Antoine Miné
Noureddine Lasla
Nadjib Badache
Published in:
J. Syst. Softw. (2016)
Keyphrases
</>
abstract interpretation
static analysis
functional properties
dynamic analysis
source code
boolean functions
regular expressions
termination analysis
test suite
active rules
artificial intelligence
test cases
pattern matching
spatial databases