default search action
27th ISSRE 2016: Ottawa, ON, Canada - Workshops
- 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-3601-1
Industry Track
Best Paper Candidates
- Rakshith Amarnath, Peter Munk
, Eike Thaden, Arne Nordmann, Simon Burton:
Dependability Challenges in the Model-Driven Engineering of Automotive Systems. 1-4 - Aaron Blohowiak, Ali Basiri, Lorin Hochstein, Casey Rosenthal:
A Platform for Automating Chaos Experiments. 5-8 - Anurag Goswami, Gursimran S. Walia, Urvashi Rathod:
Using Learning Styles to Staff and Improve Software Inspection Team Performance. 9-12
Reliability through Test and Certification
- Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. 13-16 - Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala:
Time and Space Partitioning Using On-Board Software Reference Architecture. 17-20 - Chung-Ling Lin, Wuwei Shen, Steven Drager:
A Framework to Support Generation and Maintenance of an Assurance Case. 21-24 - Myron Hecht:
A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System. 25-28
Increasing Quality in an Agile Industry
- Uma M. Balasubramani, Kartik Iyer, Balaji Santhana Krishnan, Hema Kovvuri:
Bug Bash: An Efficient Approach to Increase Test Coverage and Ensure Product Quality in an Agile Environment. 29-36 - Claude Bolduc:
Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System. 37-40 - Kiyoshi Honda, Nobuhiro Nakamura, Hironori Washizaki, Yoshiaki Fukazawa:
Case Study: Project Management Using Cross Project Software Reliability Growth Model Considering System Scale. 41-44
Fast Abstracts
- Vaibhav K. Anu
Error Abstraction Accuracy and Fixation during Error-Based Requirements Inspections. 45-46 - Masanari Kondo, Osamu Mizuno
Analysis on Causal-Effect Relationship in Effort Metrics Using Bayesian LiNGAM. 47-48 - Néstor Ruben Barraza:
Software Reliability Modeled on Contagion. 49-50 - Jirayus Jiarpakdee, Chakkrit Tantithamthavorn
A Study of Redundant Metrics in Defect Prediction Datasets. 51-52 - Damiano Torre
Verifying the Consistency of UML Models. 53-54 - Lance Fiondella, Allen P. Nikora, Thierry Wandji:
Software Reliability and Security: Challenges and Crosscutting Themes. 55-56
Eighth International Workshop on Software Aging and Rejuvenation (WoSAR 2016)
Perspectives on SAR Research
- Nathália Assis Valentim, Autran Macedo, Rivalino Matias:
A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation Research. 57-63
Experimental Analysis of Software Aging
- Philipp Keck, André van Hoorn, Dusan Okanovic, Teerat Pitakrat, Thomas F. Düllmann:
Antipattern-Based Problem Injection for Assessing Performance and Reliability Evaluation Techniques. 64-70 - Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi:
Software Aging Detection Based on Differential Analysis: An Experimental Study. 71-77 - Caisheng Weng, Jianwen Xiang, Shengwu Xiong
Analysis of Software Aging in Android. 78-83 - Yu Qiao
An Empirical Study of Software Aging Manifestations in Android. 84-90
Software Rejuvenation Techniques and Models
- Koichiro Rinsaka, W. Eric Wong, Tadashi Dohi:
NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring. 91-97 - Hiroyuki Okamura, Tadashi Dohi:
A Phase Expansion Approach for Transient Analysis of Software Rejuvenation Model. 98-103 - Mamoru Ohara, Satoshi Fukumoto:
An Experimental Implementation of Software Rejuvenation in Time Warp Simulation. 104-110 - Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui:
Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. 111-118
First International Workshop on Software Faults (IWSF 2016)
Session 1: Understanding Software Faults in Various Domains
- Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi:
The Relationship between Software Bug Type and Number of Factors Involved in Failures. 119-124 - Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta:
Programming the Network: Application Software Faults in Software-Defined Networks. 125-131 - Sokratis Tsakiltsidis, Andriy V. Miranskyy, Elie Mazzawi:
On Automatic Detection of Performance Bugs. 132-139
Session 2: Detection of Software Faults
- Tim Dunn, Natasha Kholgade Banerjee, Sean Banerjee:
GPU Acceleration of Document Similarity Measures for Automated Bug Triaging. 140-145 - Oliviero Riganelli
Healing Data Loss Problems in Android Apps. 146-152 - Danielle Gonzalez, Andrew Popovich, Mehdi Mirakhorli:
TestEX: A Search Tool for Finding and Retrieving Example Unit Tests from Open Source Projects. 153-159
Seventh IEEE International Workshop on Program Debugging (IWPD 2016)
Session 1
Session 2: Concurrency
- Quan Sun, Lei Xu, Lin Chen, Weifeng Zhang:
Replaying Harmful Data Races in Android Apps. 160-166
Session 3: Analysis and Debugging
- Patrick W. Koch, Birgit Hofer
Static Spreadsheet Analysis. 167-174 - Arian Treffer, Matthias Uflacker:
The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing. 175-180 - Xiao Yu, Jin Liu, Zijiang James Yang, Xiao Liu
Bayesian Network Based Program Dependence Graph for Fault Localization. 181-188
Session 4
Session 5: Real-Life Case Study
- Subrata Mitra, Suhas Javagal, Amiya Kumar Maji, Todd Gamblin, Adam Moody, Stephen Lien Harrell
A Study of Failures in Community Clusters: The Case of Conte. 189-196
Session 6: Testing
- Ingo Pill, Franz Wotawa
An Automated (F) LTL Test Oracle for Testing with Requirements. 197-204 - Jinfu Chen, Lili Zhu, Tsong Yueh Chen
An Adaptive Sequence Approach for OOS Test Case Prioritization. 205-212 - Marllos P. Prado, Auri M. R. Vincenzi
Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal. 213-220
Sixth International Workshop on Software Certification (WoSoCer 2016)
Modeling and Formalisms for Certification
- Carmen Cârlan, Tewodros A. Beyene, Harald Ruess:
Integrated Formal Methods for Constructing Assurance Cases. 221-228 - Andrés Paz, Ghizlane El-Boussaidi:
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification. 229-236 - Stefano Russo
Model-Based Software Engineering and Certification: Some Open Issues. 237-240
Reliability and Safety Assurance
- Jens H. Weber, Morgan Price:
Certification of Medical Information Systems: Towards a Foundational Framework and Methodology. 241-248 - Sebastian Müller, Peter Liggesmeyer:
Safety Assurance for Emergent Collaboration of Open Distributed Systems. 249-256 - Qiuying Li, Chengyong Mao:
Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment. 257-263
Formal Verification for Practicing Engineers (FVPE 2016)
Session 1: Methods and Experiences
- Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi:
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. 264-270
Session 2: Safety and Certification
- Michael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German:
A Formal Model for Stateful and Variant-Rich Automotive Functions. 271-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: