Research on Static Analysis of Box Foundation for Wind Turbine on SESAM Software.

Aixia Cao Xiao Shi Song Sang Qing Wang

Published in: Wirel. Pers. Commun. (2018)

Keyphrases

static analysis
source code
dynamic analysis
wind turbine
wind speed
test suite
symbolic execution
java card
regular expressions
abstract interpretation
software systems
test generation
reverse engineering
database
integrity constraints
data model
database systems
artificial intelligence
databases