Unified Fundamental Formulas for Static Analysis of Pin-Jointed Bar Assemblies.

Pei Zhang Huiting Xiong Junsheng Chen

Published in: Symmetry (2020)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
regular expressions
test generation
test suite
abstract interpretation
database
data sets
databases
real world
metadata
mathematical formulas