Static analysis techniques for robotics software verification.

Agostino Cortesi Pietro Ferrara Nabendu Chaki

Published in: ISR (2013)

Keyphrases

static analysis
dynamic analysis
source code
computer vision
malicious code
artificial intelligence
java card
symbolic execution
test generation
abstract interpretation
robotic systems
regular expressions
domain specific
pattern matching
anomaly detection
object oriented
training data
decision trees
database