2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops
Latest Publications

TOTAL DOCUMENTS

104

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467350488, 9780769549286

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combination of Static and Dynamic Analyses for the Certification of Avionics Software

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.100 ◽

2012 ◽

Author(s):

Antoine Ferlin ◽

Virginie Wiels

Keyword(s):

Dynamic Analyses

Download Full-text

Applying Test Data Generation Using SMT Solver to COBOL

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.18 ◽

2012 ◽

Author(s):

Yusuke Sasaki ◽

Yoshiharu Maeda ◽

Kenichi Kobayashi ◽

Akihiko Matsuo

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Smt Solver

Download Full-text

[Title page i]

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.9 ◽

2012 ◽

Keyword(s):

Title Page

Download Full-text

Predicting Data Dependences for Slice Inspection Prioritization

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.43 ◽

2012 ◽

Cited By ~ 3

Author(s):

Yiji Zhang ◽

Raul Santelices

Keyword(s):

Data Dependences

Download Full-text

MoTiP 2012 Workshop Organizers

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.69 ◽

2012 ◽

Download Full-text

Applying Software Reliability Growth Models to DOD Systems

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.17 ◽

2012 ◽

Author(s):

E. Andrew Long ◽

Louis Gullo ◽

Allen P. Nikora

Keyword(s):

Software Reliability ◽

Growth Models ◽

Reliability Growth ◽

Software Reliability Growth Models ◽

Software Reliability Growth

Download Full-text

Optimization of Opportunity-Based Software Rejuvenation Policy

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.93 ◽

2012 ◽

Cited By ~ 4

Author(s):

Hiroyuki Okamura ◽

Tadashi Dohi

Keyword(s):

Software Rejuvenation

Download Full-text

Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.99 ◽

2012 ◽

Author(s):

Vaise Patu ◽

Yutaka Matsuno ◽

Shuichiro Yamamoto

Keyword(s):

Learning System ◽

Flow Diagram ◽

E Learning ◽

Data Upload

Download Full-text

Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.40 ◽

2012 ◽

Cited By ~ 2

Author(s):

Kumi Jinzenji ◽

Takashi Hoshino ◽

Laurie Williams ◽

Kenji Takahashi

Keyword(s):

Software Development ◽

Iterative Software

Download Full-text

A Study of Converting Risk to Assurance Case

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2012.79 ◽

2012 ◽

Author(s):

Motoki Yoan ◽

Midori Sugaya ◽

Kimio Kuramitsu

Keyword(s):

Assurance Case

Download Full-text

2012 IEEE 23rd International Symposium on Software Reliability Engineering WorkshopsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Combination of Static and Dynamic Analyses for the Certification of Avionics Software

Applying Test Data Generation Using SMT Solver to COBOL

[Title page i]

Predicting Data Dependences for Slice Inspection Prioritization

MoTiP 2012 Workshop Organizers

Applying Software Reliability Growth Models to DOD Systems

Optimization of Opportunity-Based Software Rejuvenation Policy

Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL

Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile

A Study of Converting Risk to Assurance Case

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops
Latest Publications