2014 IEEE International Symposium on Software Reliability Engineering Workshops
Latest Publications

TOTAL DOCUMENTS

141

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781479973774

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Message from the WoSoCer 2014 Workshop Organizers

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.136 ◽

2014 ◽

Download Full-text

Publisher's Information

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.112 ◽

2014 ◽

Download Full-text

Defect Analysis and Reliability Assessment for Transactional Web Applications

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.12 ◽

2014 ◽

Author(s):

Wafa Jaffal ◽

Jeff Tian

Keyword(s):

Web Applications ◽

Reliability Assessment ◽

Defect Analysis

Download Full-text

Safety ADD: A Tool for Safety-Contract Based Design

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.18 ◽

2014 ◽

Author(s):

Fredrik Warg ◽

Benjamin Vedder ◽

Martin Skoglund ◽

Andreas Soderberg

Download Full-text

WoSAR 2014 Organizing Committee and Reviewers

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.133 ◽

2014 ◽

Download Full-text

SCT: A Safety Case Toolkit

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.99 ◽

2014 ◽

Author(s):

M. Anthony Aiello ◽

Ashlie B. Hocking ◽

John Knight ◽

Jonathan Rowanhill

Keyword(s):

Download Full-text

Model-Checking Real-Time Properties of an Auto Flight Control System Function

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.40 ◽

2014 ◽

Author(s):

Pierre-Alain Bourdil ◽

Bernard Berthomieu ◽

Eric Jenn

Keyword(s):

Control System ◽

Model Checking ◽

Real Time ◽

Flight Control ◽

System Function ◽

Flight Control System

Download Full-text

Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.9 ◽

2014 ◽

Author(s):

Teemu Kanstren ◽

Marsha Chechik

Keyword(s):

Pattern Analysis ◽

Model Based ◽

Model Based Testing

Download Full-text

Linking Traceability with GSN

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.79 ◽

2014 ◽

Author(s):

Kenji Taguchi ◽

Souma Daisuke ◽

Hideaki Nishihara ◽

Toshinori Takai

Download Full-text

Towards Fault Propagation Analysis in Cloud Computing Ecosystems

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.47 ◽

2014 ◽

Author(s):

Luigi De Simone

Keyword(s):

Cloud Computing ◽

Fault Propagation ◽

Propagation Analysis

Download Full-text