Quasi-static Analysis of Planar Sliding Using Friction Patches.
M. Mahdi Ghazaei ArdakaniJoão BimboDomenico PrattichizzoPublished in: CoRR (2019)
Keyphrases
- static analysis
- surface patches
- dynamic analysis
- source code
- symbolic execution
- regular expressions
- planar patches
- malicious code
- d objects
- java card
- image patches
- abstract interpretation
- planar surfaces
- rigid body
- sliding window
- natural images
- test suite
- range images
- test generation
- open source
- database systems
- range data
- case study
- real world
- pattern matching
- databases