1000-9825
2015 Issue 2
an quan zuo guan ruan jian xi tong jian mo yu yan zheng zhuan ti qian yan ?
li xuan dong ;, liu chao ;, mao xiao guang ;
li xuan dong ;, liu chao ;, mao xiao guang ;
..............page:179-180
Avionics System Testing Based on Formal Methods
LI Rui;,LIAN Hang;,MA Shi-Long;,LI Tao;
LI Rui;,LIAN Hang;,MA Shi-Long;,LI Tao;
..............page:181-201
Verification of AADL Models with Timed Abstract State Machines
YANG Zhi-Bin;,HU Kai;,ZHAO Yong-Wang;,MA Dian-Fu;
YANG Zhi-Bin;,HU Kai;,ZHAO Yong-Wang;,MA Dian-Fu;
..............page:202-222
Software Formal Modeling and Verification Method Based on Time STM
HOU Gang;,ZHOU Kuan-Jiu;,CHANG Jun-Wang;,WANG Jie;,LI Ming-Chu;
HOU Gang;,ZHOU Kuan-Jiu;,CHANG Jun-Wang;,WANG Jie;,LI Ming-Chu;
..............page:223-238
Research on Reliability and Correctness Assurance Methods and Techniques for Device Drivers
ZHANG Yi-Fan;,HUANG Chao;,OU Jian-Sheng;,TANG En-Yi;,CHEN Xin;
ZHANG Yi-Fan;,HUANG Chao;,OU Jian-Sheng;,TANG En-Yi;,CHEN Xin;
..............page:239-253
Software Fault Localization Based on Data Chain
YANG Bo;,WU Ji;,LIU Chao;
YANG Bo;,WU Ji;,LIU Chao;
..............page:254-268
Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems
CHEN Xin;,JIANG Peng;,ZHANG Yi-Fan;,HUANG Chao;,ZHOU Yan;
CHEN Xin;,JIANG Peng;,ZHANG Yi-Fan;,HUANG Chao;,ZHOU Yan;
..............page:269-278
Schedulability Analysis Model for Multiprocessor Real-Time Systems Using UPPAAL
DAI Sheng-Xin;,HONG Mei;,GUO Bing;,YANG Qiu-Hui;,HUANG Wei;,XU Bao-Ping;
DAI Sheng-Xin;,HONG Mei;,GUO Bing;,YANG Qiu-Hui;,HUANG Wei;,XU Bao-Ping;
..............page:279-296
Termination Analysis of Multipath Loop Programs with One Variable
LI Yi;,LI Chuan-Can;,WU Wen-Yuan;
LI Yi;,LI Chuan-Can;,WU Wen-Yuan;
..............page:297-304
Statistical Model Checking for Rare-Event in Safety-Critical System
DU De-Hui;,CHENG Bei;,LIU Jing;
DU De-Hui;,CHENG Bei;,LIU Jing;
..............page:305-320
Formal Modeling Approach for Aerospace Embedded Software
GU Bin;,DONG Yun-Wei;,WANG Zheng;
GU Bin;,DONG Yun-Wei;,WANG Zheng;
..............page:321-331
Trustworthy Translation for Eliminating High-Order Operation of a Synchronous Dataflow Language
LIU Yang;,GAN Yuan-Ke;,WANG Sheng-Yuan;,DONG Yuan;,YANG Fei;,SHI Gang;,YAN Xin;
LIU Yang;,GAN Yuan-Ke;,WANG Sheng-Yuan;,DONG Yuan;,YANG Fei;,SHI Gang;,YAN Xin;
..............page:332-347
Software Vulnerability Code Clone Detection Method Based on Characteristic Metrics
GAN Shui-Tao;,QIN Xiao-Jun;,CHEN Zuo-Ning;,WANG Lin-Zhang;
GAN Shui-Tao;,QIN Xiao-Jun;,CHEN Zuo-Ning;,WANG Lin-Zhang;
..............page:348-363
Machine-Checked Model for Micro-Dalvik Virtual Machine
HE Yan-Xiang;,JIANG Nan;,LI Qing-An;,ZHANG Jun;,SHEN Fan-Fan;
HE Yan-Xiang;,JIANG Nan;,LI Qing-An;,ZHANG Jun;,SHEN Fan-Fan;
..............page:364-379
Statistical Model Checking of Cyber-Physical Systems Control Software
SHAN Li-Jun;,ZHOU Xing-She;,WANG Yu-Ying;,ZHAO Lei;,WAN Li-Jing;,QIAO Lei;,CEHN Jian-Xin;
SHAN Li-Jun;,ZHOU Xing-She;,WANG Yu-Ying;,ZHAO Lei;,WAN Li-Jing;,QIAO Lei;,CEHN Jian-Xin;
..............page:380-389
Review of Dynamic Fault Localization Approaches Based on Program Spectrum
CHEN Xiang;,JU Xiao-Lin;,WEN Wan-Zhi;,GU Qing;
CHEN Xiang;,JU Xiao-Lin;,WEN Wan-Zhi;,GU Qing;
..............page:390-412
Research on Integer-Based Vulnerabilities：Security Model, Detecting Methods and Real- World Cases
SUN Hao;,ZENG Qing-Kai;
SUN Hao;,ZENG Qing-Kai;
..............page:413-426
Time Property Analysis Method for State/Event Fault Tree
XU Bing-Feng;,HUANG Zhi-Qiu;,HU Jun;,WEI Ou;,LI Wei-Wei;
XU Bing-Feng;,HUANG Zhi-Qiu;,HU Jun;,WEI Ou;,LI Wei-Wei;
..............page:427-446