Login / Signup
测试任务流中或分支的完整性验证 (Integration Verification of Or-split in Test Flow).
Qinghua Fang
Jinhai Su
Zurang Ling
Dongdong Hua
Published in:
计算机科学 (2015)
Keyphrases
</>
test generation
formal verification
face verification
information integration
model checking
flow field
test data
integration testing
flow patterns
formal analysis
neural network
cellular automata
test cases
data integration
multiscale
case study
social networks
artificial intelligence