2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

9781424474349, 9781424474356, 9780769540863

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Cover art]

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.42 ◽

2010 ◽

Keyword(s):

Download Full-text

Sensitivity of Two Coverage-Based Software Reliability Models to Variations in the Operational Profile

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.24 ◽

2010 ◽

Author(s):

Odair Jacinto da Silva ◽

Adalberto Nobiato Crespo ◽

Marcos Lordello Chaim ◽

Mario Jino

Keyword(s):

Software Reliability ◽

Reliability Models ◽

Software Reliability Models ◽

Operational Profile

Download Full-text

Program Committee

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.8 ◽

2010 ◽

Keyword(s):

Program Committee

Download Full-text

Message from Steering Committee Chairs

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.40 ◽

2010 ◽

Keyword(s):

Steering Committee

Download Full-text

Title Page iii

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.2 ◽

2010 ◽

Keyword(s):

Download Full-text

Additional Reviewers

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.9 ◽

2010 ◽

Download Full-text

A Formal Framework for Mutation Testing

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.23 ◽

2010 ◽

Author(s):

Fevzi Belli ◽

Mutlu Beyazit

Keyword(s):

Mutation Testing ◽

Formal Framework

Download Full-text

Software Reliability Modeling with Integrated Test Coverage

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.16 ◽

2010 ◽

Author(s):

Jinxia An ◽

Jihong Zhu

Keyword(s):

Software Reliability ◽

Test Coverage ◽

Reliability Modeling

Download Full-text

An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.15 ◽

2010 ◽

Author(s):

Zhen Ming Jiang ◽

Alberto Avritzer ◽

Emad Shihab ◽

Ahmed E. Hassan ◽

Parminder Flora

Keyword(s):

User Acceptance ◽

Acceptance Testing ◽

Industrial Case Study

Download Full-text

Model Checking a Lazy Concurrent List-Based Set Algorithm

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2010.37 ◽

2010 ◽

Author(s):

Shao Jie Zhang ◽

Yang Liu

Keyword(s):

Download Full-text