Searching...
Advanced Search
S
SSIRI
2010
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Singapore, Singapore
June 09-June 11
ISBN: 978-0-7695-4086-3
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Message from Steering Committee Chairs
(PDF)
pp. viii
ABSTRACT
PDF
Message from General Chair
(PDF)
pp. ix
ABSTRACT
PDF
Message from Program Chairs
(PDF)
pp. x
ABSTRACT
PDF
Organizing Committee
(PDF)
pp. xi
ABSTRACT
PDF
Program Committee
(PDF)
pp. xii-xiv
ABSTRACT
PDF
Steering Committee
(PDF)
pp. xv
ABSTRACT
PDF
Additional Reviewers
(PDF)
pp. xvi
ABSTRACT
PDF
Keynote Abstracts
(PDF)
pp. xvii-xx
ABSTRACT
PDF
Modelling and Implementing Complex Systems with Timebands
(Abstract)
Jim Woodcock
Marcel Oliveira
Alan Burns
Kun Wei
pp. 1-13
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Recent Catastrophic Accidents: Investigating How Software was Responsible
(Abstract)
W. Eric Wong
Vidroha Debroy
Adithya Surampudi
HyeonJeong Kim
Michael F. Siok
pp. 14-22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker
(Abstract)
Luu Anh Tuan
Man Chun Zheng
Quan Thanh Tho
pp. 23-32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Discovering Anomalies in Semantic Web Rules
(Abstract)
Yuzhang Feng
Yang Liu
Yuan-Fang Li
Daqing Zhang
pp. 33-42
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model Checking a Lazy Concurrent List-Based Set Algorithm
(Abstract)
Shao Jie Zhang
Yang Liu
pp. 43-52
ABSTRACT
PDF
PURCHASE ARTICLE: $19
YAWL2DVE: An Automated Translator for Workflow Verification
(Abstract)
Fazle Rabbi
Hao Wang
Wendy MacCaull
pp. 53-59
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Scalable V&V Effort Estimation for Ultra-Large-Scale Systems
(Abstract)
Christof J. Budnik
Rajesh Subramanyan
Raj Tanikella
pp. 60-68
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Aligning Security Requirements and Security Assurance Using the Common Criteria
(Abstract)
Kenji Taguchi
Nobukazu Yoshioka
Takayuki Tobita
Hiroyuki Kaneko
pp. 69-77
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Agent-Based System to Support Assurance of Security Requirements
(Abstract)
Moussa Ouedraogo
Haralambos Mouratidis
Djamel Khadraoui
Eric Dubois
pp. 78-87
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model-Based Argument Analysis for Evolving Security Requirements
(Abstract)
Thein Than Tun
Yijun Yu
Charles Haley
Bashar Nuseibeh
pp. 88-97
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Failure Type-Aware Reliability Assessment with Component Failure Dependency
(Abstract)
Atef Mohamed
Mohammad Zulkernine
pp. 98-105
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Software Reliability Modeling with Integrated Test Coverage
(Abstract)
Jinxia An
Jihong Zhu
pp. 106-112
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Sensitivity of Two Coverage-Based Software Reliability Models to Variations in the Operational Profile
(Abstract)
Odair Jacinto da Silva
Adalberto Nobiato Crespo
Marcos Lordello Chaim
Mario Jino
pp. 113-120
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Formal Framework for Mutation Testing
(Abstract)
Fevzi Belli
Mutlu Beyazit
pp. 121-130
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs
(Abstract)
Zhen Ming Jiang
Alberto Avritzer
Emad Shihab
Ahmed E. Hassan
Parminder Flora
pp. 131-140
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Testing Effort Dependent Software FDP and FCP Models with Consideration of Imperfect Debugging
(Abstract)
R. Peng
Q.P. Hu
S.H. Ng
M. Xie
pp. 141-146
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
(Abstract)
Shaoying Liu
Shin Nakajima
pp. 147-155
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Availability Improvement in Virtualized Multiple Servers with Software Rejuvenation and Virtualization
(Abstract)
May Tar Hla Myint
Thandar Thein
pp. 156-162
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Traceability Enhancement Technique through the Integration of Software Configuration Management and Individual Working Environment
(Abstract)
Dae-Yeob Kim
Cheong Youn
pp. 163-172
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Recoverability of Erasure Codes Based and Intensively Written Storage Systems
(Abstract)
Xiangyu Luo
Yun Wang
pp. 173-179
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards a New Understanding of Advice Interference
(Abstract)
Kun Tian
Kendra Cooper
Kang Zhang
Siyuan Liu
pp. 180-189
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Self-Checked Metamorphic Testing of an Image Processing Program
(Abstract)
Junhua Ding
Tong Wu
Jun Q. Lu
Xin-Hua Hu
pp. 190-197
ABSTRACT
PDF
PURCHASE ARTICLE: $19
PhishTester: Automatic Testing of Phishing Attacks
(Abstract)
Hossain Shahriar
Mohammad Zulkernine
pp. 198-207
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards Scalable Robustness Testing
(Abstract)
Fevzi Belli
Axel Hollmann
W. Eric Wong
pp. 208-216
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP
(Abstract)
Xian Zhang
Yang Liu
Mikhail Auguston
pp. 217-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modeling Uncertainties in the Estimation of Software Reliability
(Abstract)
Senthil Kumar Chandran
Aleksandar Dimov
Sasikumar Punnekkat
pp. 227-236
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The 'Best' Valid Safe Protocol Converter
(Abstract)
Jing Cao
Albert Nymeyer
pp. 237-243
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 244-245
ABSTRACT
PDF
Publisher's Information
(PDF)
pp. 246
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
