ISSRE (Supplemental Proceedings)

Publications

2013

Nuno Silva, Alexandre Esper, Ricardo Barbosa, Johan Zandin, Claudio Monteleone
Reference architecture for high dependability on-board computers. ISSRE (Supplemental Proceedings) (2013)
Steven Davies, Marc Roper
Bug localisation through diverse sources of information. ISSRE (Supplemental Proceedings) (2013)
Zhen Dong, Mohammadreza Ghanavati, Artur Andrzejak
Automated diagnosis of software misconfigurations based on static analysis. ISSRE (Supplemental Proceedings) (2013)
Pete Rotella, Devesh Goyal, Sunita Chulani
Predicting field experience of releases on specific platforms. ISSRE (Supplemental Proceedings) (2013)
Andreas Söderberg, Rolf Johansson
Safety contract based design of software components. ISSRE (Supplemental Proceedings) (2013)
Kishore Vinod, Pandit Pattabhirama, Manjunath Ramachandra
Reliability feedback through system log analysis. ISSRE (Supplemental Proceedings) (2013)
Sandipan Dey, Kandathil K. Jacob, Javier Alonso Lopez, Kishor S. Trivedi
Failure data analytics to build failure prediction mechanisms. ISSRE (Supplemental Proceedings) (2013)
Shweta Subramani, Mladen A. Vouk, Laurie A. Williams
Non-operational testing of software for security issues. ISSRE (Supplemental Proceedings) (2013)
Suresh C. Kothari
Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology. ISSRE (Supplemental Proceedings) (2013)
Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote
A new method of consensus building for open systems dependability. ISSRE (Supplemental Proceedings) (2013)
Yuan Wei
Use software reliability growth models wisely. ISSRE (Supplemental Proceedings) (2013)
Chakkrit Tantithamthavorn, Rattamont Teekavanich, Akinori Ihara, Ken-ichi Matsumoto
Mining A change history to quickly identify bug locations : A case study of the Eclipse project. ISSRE (Supplemental Proceedings) (2013)
Alfred Granger, Paul R. Garrett, Gary Dalmadge
Medical device software risk assessment requires cross functional personnel. ISSRE (Supplemental Proceedings) (2013)
Gursimran Singh Walia, Jeffrey C. Carver
Using error information to improve software quality. ISSRE (Supplemental Proceedings) (2013)
Pete Rotella, Satyabrata Pradhan
Predicting multi-platform release quality. ISSRE (Supplemental Proceedings) (2013)
Nuno Silva, Marco Vieira
Certification of embedded systems: Quantitative analysis and irrefutable evidences. ISSRE (Supplemental Proceedings) (2013)
Eric Verhulst, Bernhard H. C. Sputh
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components. ISSRE (Supplemental Proceedings) (2013)
Lakshmankumar Mukkavilli
Directed graph as a model for unit testing. ISSRE (Supplemental Proceedings) (2013)
Vaise Patu, Shuichiro Yamamoto
A new model to capture security threat patterns by complying with standards and lesson learned - Archiving dependability for security assurance cases. ISSRE (Supplemental Proceedings) (2013)
Yoshio Sakai, Seiko Shirasaka, Yasuharu Nishi
An extended notation of FTA for risk assessment of software-intensive medical devices.: Recognition of the risk class before and after the risk control measure. ISSRE (Supplemental Proceedings) (2013)
R. K. Gupta
Improving reliability of data protection software with integrated multilayered fault Injection testing. ISSRE (Supplemental Proceedings) (2013)
Fubin Wu
Integration of software reliability engineering, risk management and safety assurance case. ISSRE (Supplemental Proceedings) (2013)
Ann T. Tai, Chris J. Walter, Lorraine M. Fesq, John C. Day
Fault-class-aware fault tree generation and analysis. ISSRE (Supplemental Proceedings) (2013)
Michael Roth, Peter Liggesmeyer
Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems. ISSRE (Supplemental Proceedings) (2013)
Fernanda Buonanno, Domenico Di Leo, Paolo di Paolo, Roberto Pietrantuono, Stefano Russo
Requirements engineering in rail transit production: An experience report. ISSRE (Supplemental Proceedings) (2013)
Geetika Goel, Arpan Roy, Rajeshwari Ganesan
Identifying silent failures of SaaS services using finite state machine based invariant analysis. ISSRE (Supplemental Proceedings) (2013)
Kishore Vinod, Manjunath Ramachandra, Santosh Yalawar, Pandit Pattabhirama
Diagnosing development software release to predict field failures. ISSRE (Supplemental Proceedings) (2013)
Alexandre Perez, Rui Abreu
Cues for scent intensification in debugging. ISSRE (Supplemental Proceedings) (2013)
Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira
A monitoring and testing framework for critical off-the-shelf applications and services. ISSRE (Supplemental Proceedings) (2013)
Noriyoshi Kuno, Tsuyoshi Nakajima, Makoto Matsushita, Katsuro Inoue
A study on the effectiveness of peer review meeting. ISSRE (Supplemental Proceedings) (2013)
Ram Chillarege
Using ODC to diagnose an Agile enterprise application development project. ISSRE (Supplemental Proceedings) (2013)
Ram Chillarege
Comparing four case studies on Bohr-Mandel characteristics using ODC. ISSRE (Supplemental Proceedings) (2013)
Yasuhiko Yokote, Tatsumi Nagayama
Dependability of open systems. ISSRE (Supplemental Proceedings) (2013)
Yanqin Huang, Junhua Wu, Yang Feng, Zhenyu Chen, Zhihong Zhao
An empirical study on clustering for isolating bugs in fault localization. ISSRE (Supplemental Proceedings) (2013)
Kimio Kuramitsu
D-Script : Dependable scripting with DEOS process. ISSRE (Supplemental Proceedings) (2013)
Miki Masumoto, Tatsuya Tokuno, Shuichiro Yamamoto
A method for assuring service grade with Assurance case: An experiment on a portal service. ISSRE (Supplemental Proceedings) (2013)
Arbi Ghazarian
Detection of missing requirements using base requirements pairs. ISSRE (Supplemental Proceedings) (2013)
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings ISSRE (Supplemental Proceedings) (2013)
Takuya Saruwatari, Shuichiro Yamamoto, Yutaka Matsuno
A comparative study of d∗framework and GSN. ISSRE (Supplemental Proceedings) (2013)
Ewen Denney, Ganesh Pai
Evidence arguments for using formal methods in software certification. ISSRE (Supplemental Proceedings) (2013)
Chao Luo, Hiroyuki Okamura, Tadashi Dohi
Characteristic analysis of quantitative definition of resiliency measure. ISSRE (Supplemental Proceedings) (2013)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
Software rejuvenation impacts on a phased-mission system for Mars exploration. ISSRE (Supplemental Proceedings) (2013)
Brendan Murphy, Laurie A. Williams
To branch or not to branch that is the question. ISSRE (Supplemental Proceedings) (2013)
Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit
Testing distortion estimations in Retinal Prostheses. ISSRE (Supplemental Proceedings) (2013)
Dalin Zhang, Hailong Zhang, Dahai Jin, Yunzhan Gong
Improving the accuracy of static analysis based on state partition. ISSRE (Supplemental Proceedings) (2013)
Da Young Lee, Mladen A. Vouk, Laurie A. Williams
Using software reliability models for security assessment - Verification of assumptions. ISSRE (Supplemental Proceedings) (2013)
Hiroyuki Okamura, Chao Luo, Tadashi Dohi
Estimating response time distribution of server application in software aging phenomenon. ISSRE (Supplemental Proceedings) (2013)
Qiuying Li, Lei Luo, Jian Wang
Accelerated reliability testing approach for high-reliablity software based on the reinforced operational profile. ISSRE (Supplemental Proceedings) (2013)
Shayan Eskandari, Wael Khreich, Syed Shariyar Murtaza, Abdelwahab Hamou-Lhadj, Mario Couture
Monitoring system calls for anomaly detection in modern operating systems. ISSRE (Supplemental Proceedings) (2013)
Hiroki Takamura
International standardization of Open Systems Dependability. ISSRE (Supplemental Proceedings) (2013)