Abstract is missing.
- Mutation Testing Based Evaluation of Formal Verification ToolsA. Chakrapani Rao, A. Raouf, Gunwant Dhadyalla, V. Pasupuleti. 1-7 [doi]
- A Method of False Alarm Recognition Based on k-Nearest NeighborFei Guan, Junyou Shi, Xiaodong Ma, Weiwei Cui, Jie Wu. 8-12 [doi]
- Formalization of Laplace Transform in CoqYifei Wang, Gang Chen. 13-21 [doi]
- A New Attribute Selection Method Based on Maximal Information Coefficient and Automatic ClusteringHaijin Ji, Song Huang, Yaning Wu, Zhanwei Hui, Xuewei Lv. 22-28 [doi]
- A System Safety Analysis Method Based on Multiple Category Hazard FactorsHao Wang, Deming Zhong, Yukun Zhao, Rui Sun. 29-34 [doi]
- CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow GraphHong Lin, Dongdong Zhao, Linjun Ran, Mushuai Han, Jing Tian, Jianwen Xiang, Xian Ma, Yingshou Zhong. 35-41 [doi]
- An Experimental Study of Four Methods for Homology Analysis of Firmware VulnerabilityLinjun Ran, Liping Lu, Hong Lin, Mushuai Han, Dongdong Zhao, Jianwen Xiang, Haiguo Yu, Xian Ma. 42-50 [doi]
- Software Architecture Modeling and Reliability Evaluation Based on Petri NetChi Zhang, Yunyun Ma, Xiaohua Wang, Ruixue Wang. 51-56 [doi]
- Plaintext-Dependent Selective Image Encryption Scheme Based on Chaotic Maps and DNA CodingLin Li, Yingying Yao, Xiaolin Chang. 57-65 [doi]
- A Novel Testing Method for Narrowband Synthetic Aperture Radar (SAR) Imaging AlgorithmLetian Zeng, Chunhui Yang, Yue-Long Zhao, Ping Chen, Qiang Wang. 66-72 [doi]
- Prediction of Cancer Based on Mobile Cloud Computing and SVMLiang Kou, Ye Yuan, Jianguo Sun, Yun Lin 0005. 73-76 [doi]
- A Software Defined Work Based Approach to Dependable Scenic Region ManagementHongming Che, Lin Zou, Qinyun Liu, Sicong Ma, Hongji Yang, Chi Zhang, William Cheng-Chung Chu, Haiying Qi. 77-85 [doi]
- High-Reliable Testing for FPGA Software in Space Utilization EngineeringTao Zhang, Xiaodan Wang. 86-91 [doi]
- System Analysis and PHM Methods for Power Devices Based on Physics-of-FailureYulong Zhang, Lulu Wang, Bo Gao, Lixin Wang, Jiajun Luo, Zhengsheng Han. 92-97 [doi]
- A Fault Diganosis Method Based on Bispectrum-LPP and PNNJinlong Zhao, Pinwang Zhao, Shulin Liu, Yue Liu, Qiufang Wang, Na Jiao. 98-102 [doi]
- Anomaly Detection Method of Space Payload Using Multivariate State Estimation Technique and Self-Organizing Feature MapLei Song, Lili Guo, Huiping Wang, Shilong Yang, Shan Jin, Jiangyong Duan, Lele Xu. 103-109 [doi]
- Performance Analysis Model for Fog Services under Multiple Resource TypesBo Liu, Xiaolin Chang, Bing Liu, Zhi Chen. 110-117 [doi]
- Deterministic Replay for Multi-Core VxWorks ApplicationsJunjie Liu, Xiaopeng Gao, Bo Jiang 0001, Shunkun Yang, Zhenyu Zhang 0004. 118-125 [doi]
- The Timed Abstract State Machine Based Test Data Auto Generation for Embedded SystemsZhexi Yao, Tao Zhang, Tao Zhang, Jinbo Wang. 126 [doi]
- Formal Derivation and Verification of Coordinate Transformations in Theorem Prover CoqZhenwei Ma, Gang Chen. 127-136 [doi]
- Extend STPA Method Using Hybrid Dynamic TheoryZhe Li, Deming Zhong, Rui Sun, Hao Wang. 137-142 [doi]
- Test Cases Generation for Multiple paths Based on Metamorphic RelationXuewei Lv, Song Huang, Zhanwei Hui, Haijin Ji, Shan Li. 143 [doi]
- A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment SystemYin Li, Zhi-an Sun, Ting-ting Jiang. 144-154 [doi]
- A Novel Approach for Coverage Probing of Embedded Software in SoPCLu Kong, Bin Wang, Shan Zhou, YaWen Yang. 155 [doi]
- Cross Clock Domain Signal Research Based on Dynamic Motivation ModelShan Zhou, Tao Zhang, YaWen Yang. 156 [doi]
- Testing Requirement Analysis Method Based on Signal Path for High Reliability SoftwareYunyun Ma, Jinbo Wang, Yuelong Qu, Tao Zhang. 157 [doi]
- A Software Reliability Model Based on Failure ModeFeng Er-Qiang, Zheng Jun. 158-161 [doi]
- Comprehensive Evaluation of Software Quality Based on LM-BP Neural NetworkAnbang Wang, Lihong Guo, Yuan Chen, Junjie Wang, Yuanzhang Song. 162-167 [doi]
- On the Evaluation Metrics of Automated Program RepairYuhua Qi, Wenhong Liu, Weixiang Zhang, Deheng Yang. 168 [doi]
- A Three-Stage Defect Prediction Model for Cross-Project Defect PredictionSong Huang, Yaning Wu, Haijin Ji, Chengzu Bai. 169 [doi]
- Error Analysis and Correction of Time-Frequency Synchronization Based on Packet SwitchingWei Wei, Hongen Zhong, Suzhi Cao. 170 [doi]
- Improved Fault Diagnosis Method for Power Systems Based on Grey System TheoryJianmin Wang 0015, Jinbo Wang, Bin Wang. 171 [doi]
- Efficient Keyword Search over Online Social Network by Using Stream Dynamic Bloom FilterJinzhou Huang, Zhekun Hu, Zheng Dai. 172-177 [doi]
- Improved Evidence Conflict Measurement Algorithm Based on Singular Value DecompositionXinglin Guo, Yunqiang Yan, Lianzhi Qi, Yi Zhang, Quangen Chen. 178 [doi]
- An Extendibility Analysis Method Research for Integrated Test Diagnosis on Ship Complex SystemFei Li, Bai Liu, Di Peng, Longli Tang. 179 [doi]