[1] |
WANG Si-qi, MIAO Si-wei, ZHANG Xiao-ling, SHI Zhi-qiang, LU Xin-dai.
Static Vulnerability Detection Technology for the Embedded Firmware Web Code Based on D-S Evidence Theory
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(5): 91-99.
|
[2] |
WANG Lei.
Consistency Checking Between UML Models and Code Based on Graph Theory and FSM
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(4): 70-75.
|
[3] |
FENG Shui-chun, MENG Xin, MAO Bo-nian, BIAN Chun-jiang.
Design of Satellite Borne FPGA Basedon (16,8) Quasi-Cyclic Code for Fault-Tolerant Finite State Machines
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2014, 37(1): 85-89.
|
[4] |
WANG Xiao-jun, MIN Li-juan.
Genetic Test Data Generation for Path-Oriented Testing
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(6): 18-22.
|
[5] |
MA Jun-yan, ZHOU Xing-she, LI Shi-ning.
FSM-Based Fault Detection for Sensor Node Software
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(2): 107-112.
|
[6] |
Jin Da-Hai.
Applications of PostFunction Information in Software Static Testing
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(6): 103-106.
|
[7] |
WU Rui-qing GU Qing-shui CHEN Wei CHEN Tian-qi .
Research and Implement of Router in Logging Networks
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(2): 116-120.
|
[8] |
SHU Ting;SUN Shou-qian;WANG Hai-ning;XU Wei-qiang;LI Wen-shu.
Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(6): 120-124.
|
[9] |
Ya-wen WANG yunzhan gong qing xiao Yang Zhao-Hong.
Variable Range Analysis Based on Interval Computation
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(3): 36-41.
|
[10] |
XU Guo-ai1, ZHANG Miao1, CHEN Ai-guo1, LI Zhong-xian2 .
An Integer Overflow Detection Method Based on Integer Variable Unification
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(6): 90-93.
|
[11] |
SHU Ting,WEI Yang-su,WU Bai-qing,MENG Zhao-hang.
A Novel Algorithm for Generating Executable State Identification Sequences in EFSM Model
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2007, 30(2): 84-88.
|
[12] |
XU Yun-bin, SONG Hong-sheng, ZHANG Jie, GU Wan-yi.
GMPLS Signaling Extension for Multi-Granularity Optical Switching Node
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2004, 27(3): 23-27.
|
[13] |
ZHAO Yu-hong, AI Bo.
Approach to Define SDL Static Semantics with Basic ASM
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2004, 27(1): 55-59.
|
[14] |
Luo Hong.
Testing and Design-for-Testability about Communication Software
[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 1999, 22(3): 55-59.
|