Nonlinear static analysis of cable net for deployable antennas.

Xiaozhi Qi Zhao Zhang Bing Li Hailin Huang Shuang Liu

Published in: RCAR (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
abstract interpretation
fiber optic
case study
test suite
data sets
software engineering
test generation
java card