A quasi-static analysis of dextrous manipulation with sliding and rolling contacts.

Jeffrey C. Trinkle

Published in: ICRA (1989)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
sliding window
regular expressions
abstract interpretation
test generation
test suite
database
structured data