Login / Signup
Static Analysis of Moving Jointed Objects.
Jon A. Webb
Published in:
AAAI (1980)
Keyphrases
</>
static analysis
dynamic analysis
moving objects
continuously moving
regular expressions
source code
malicious code
conveyor belt
d objects
symbolic execution
test generation
test suite
rigid objects
data objects
pattern matching
databases
database
java card
artificial intelligence