2017 International Conference on Dependable Systems and Their Applications (DSA)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538636909

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Timed Abstract State Machine Based Test Data Auto Generation for Embedded Systems

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.28 ◽

2017 ◽

Author(s):

Zhexi Yao ◽

Tao Zhang ◽

Jinbo Wang

Keyword(s):

Embedded Systems ◽

Test Data ◽

State Machine ◽

Abstract State Machine

Download Full-text

Test Cases Generation for Multiple paths Based on Metamorphic Relation

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.31 ◽

2017 ◽

Author(s):

Xuewei Lv ◽

Song Huang ◽

Zhanwei Hui ◽

Haijin Ji ◽

Shan Li

Keyword(s):

Test Cases ◽

Multiple Paths

Download Full-text

Program Committee

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.8 ◽

2017 ◽

Keyword(s):

Program Committee

Download Full-text

A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.32 ◽

2017 ◽

Cited By ~ 1

Author(s):

Li Yin ◽

Sun Zhi-An ◽

Jiang-Ting-Ting

Keyword(s):

Hybrid Model ◽

Software Reliability ◽

Test Suite ◽

Reliability Test ◽

Complex Equipment ◽

Equipment System

Download Full-text

[Title page i]

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.1 ◽

2017 ◽

Keyword(s):

Title Page

Download Full-text

A System Safety Analysis Method Based on Multiple Category Hazard Factors

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.14 ◽

2017 ◽

Author(s):

Hao Wang ◽

Deming Zhong ◽

Yukun Zhao ◽

Rui Sun

Keyword(s):

Safety Analysis ◽

Analysis Method ◽

System Safety ◽

Multiple Category

Download Full-text

Deterministic Replay for Multi-Core VxWorks Applications

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.27 ◽

2017 ◽

Cited By ~ 1

Author(s):

Junjie Liu ◽

Xiaopeng Gao ◽

Bo Jiang ◽

Shunkun Yang ◽

Zhenyu Zhang

Keyword(s):

Deterministic Replay

Download Full-text

CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow Graph

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.15 ◽

2017 ◽

Cited By ~ 3

Author(s):

Hong Lin ◽

Dongdong Zhao ◽

Linjun Ran ◽

Mushuai Han ◽

Jing Tian ◽

...

Keyword(s):

Support Vector Machine ◽

Control Flow ◽

Support Vector ◽

Control Flow Graph ◽

Flow Graph

Download Full-text

On the Evaluation Metrics of Automated Program Repair

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.38 ◽

2017 ◽

Author(s):

Yuhua Qi ◽

Wenhong Liu ◽

Weixiang Zhang ◽

Deheng Yang

Keyword(s):

Evaluation Metrics ◽

Automated Program Repair ◽

Program Repair

Download Full-text

System Analysis and PHM Methods for Power Devices Based on Physics-of-Failure

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.23 ◽

2017 ◽

Cited By ~ 1

Author(s):

Yulong Zhang ◽

Lulu Wang ◽

Bo Gao ◽

Lixin Wang ◽

Jiajun Luo ◽

...

Keyword(s):

System Analysis ◽

Power Devices ◽

Physics Of Failure

Download Full-text

2017 International Conference on Dependable Systems and Their Applications (DSA)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The Timed Abstract State Machine Based Test Data Auto Generation for Embedded Systems

Test Cases Generation for Multiple paths Based on Metamorphic Relation

Program Committee

A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System

[Title page i]

A System Safety Analysis Method Based on Multiple Category Hazard Factors

Deterministic Replay for Multi-Core VxWorks Applications

CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow Graph

On the Evaluation Metrics of Automated Program Repair

System Analysis and PHM Methods for Power Devices Based on Physics-of-Failure

2017 International Conference on Dependable Systems and Their Applications (DSA)
Latest Publications