Abstract is missing.
- Dependability Challenges in the Model-Driven Engineering of Automotive SystemsRakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton. 1-4 [doi]
- A Platform for Automating Chaos ExperimentsAaron Blohowiak, Ali Basiri, Lorin Hochstein, Casey Rosenthal. 5-8 [doi]
- Using Learning Styles to Staff and Improve Software Inspection Team PerformanceAnurag Goswami, Gursimran S. Walia, Urvashi Rathod. 9-12 [doi]
- An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive SystemsChung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim. 13-16 [doi]
- Time and Space Partitioning Using On-Board Software Reference ArchitectureVictor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala. 17-20 [doi]
- A Framework to Support Generation and Maintenance of an Assurance CaseChung-Ling Lin, Wuwei Shen, Steven Drager. 21-24 [doi]
- A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical SystemMyron Hecht. 25-28 [doi]
- Bug Bash: An Efficient Approach to Increase Test Coverage and Ensure Product Quality in an Agile EnvironmentUma M. Balasubramani, Kartik Iyer, Balaji Santhana Krishnan, Hema Kovvuri. 29-36 [doi]
- Lessons Learned: Using a Static Analysis Tool within a Continuous Integration SystemClaude Bolduc. 37-40 [doi]
- Case Study: Project Management Using Cross Project Software Reliability Growth Model Considering System ScaleKiyoshi Honda, Nobuhiro Nakamura, Hironori Washizaki, Yoshiaki Fukazawa. 41-44 [doi]
- Error Abstraction Accuracy and Fixation during Error-Based Requirements InspectionsVaibhav K. Anu, Gursimran Singh Walia, Wenhua Hu, Jeffrey C. Carver, Gary L. Bradshaw. 45-46 [doi]
- Analysis on Causal-Effect Relationship in Effort Metrics Using Bayesian LiNGAMMasanari Kondo, Osamu Mizuno. 47-48 [doi]
- Software Reliability Modeled on ContagionNéstor Ruben Barraza. 49-50 [doi]
- A Study of Redundant Metrics in Defect Prediction DatasetsJirayus Jiarpakdee, Chakkrit Tantithamthavorn, Akinori Ihara, Kenichi Matsumoto. 51-52 [doi]
- Verifying the Consistency of UML ModelsDamiano Torre. 53-54 [doi]
- Software Reliability and Security: Challenges and Crosscutting ThemesLance Fiondella, Allen P. Nikora, Thierry Wandji. 55-56 [doi]
- A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation ResearchNathalia Assis Valentim, Autran Macedo, Rivalino Matias. 57-63 [doi]
- Antipattern-Based Problem Injection for Assessing Performance and Reliability Evaluation TechniquesPhilipp Keck, André van Hoorn, Dusan Okanovic, Teerat Pitakrat, Thomas F. Dullmann. 64-70 [doi]
- Software Aging Detection Based on Differential Analysis: An Experimental StudyRivalino Matias, Guilherme O. de Sena, Artur Andrzejak, Kishor S. Trivedi. 71-77 [doi]
- Analysis of Software Aging in AndroidCaisheng Weng, Jianwen Xiang, Shengwu Xiong, Dongdong Zhao, Chunhui Yang. 78-83 [doi]
- An Empirical Study of Software Aging Manifestations in AndroidYu Qiao, Zheng Zheng, Fangyun Qin. 84-90 [doi]
- NPI-Based Adaptive Software Rejuvenation Schedule under Random CensoringKoichiro Rinsaka, W. Eric Wong, Tadashi Dohi. 91-97 [doi]
- A Phase Expansion Approach for Transient Analysis of Software Rejuvenation ModelHiroyuki Okamura, Tadashi Dohi. 98-103 [doi]
- An Experimental Implementation of Software Rejuvenation in Time Warp SimulationMamoru Ohara, Satoshi Fukumoto. 104-110 [doi]
- Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized SystemsMohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui. 111-118 [doi]
- The Relationship between Software Bug Type and Number of Factors Involved in FailuresZachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi. 119-124 [doi]
- Programming the Network: Application Software Faults in Software-Defined NetworksLalita Jategaonkar Jagadeesan, Veena B. Mendiratta. 125-131 [doi]
- On Automatic Detection of Performance BugsSokratis Tsakiltsidis, Andriy V. Miranskyy, Elie Mazzawi. 132-139 [doi]
- GPU Acceleration of Document Similarity Measures for Automated Bug TriagingTim Dunn, Natasha Kholgade Banerjee, Sean Banerjee. 140-145 [doi]
- Healing Data Loss Problems in Android AppsOliviero Riganelli, Daniela Micucci, Leonardo Mariani. 146-152 [doi]
- TestEX: A Search Tool for Finding and Retrieving Example Unit Tests from Open Source ProjectsDanielle Gonzalez, Andrew Popovich, Mehdi Mirakhorli. 153-159 [doi]
- Replaying Harmful Data Races in Android AppsQuan Sun, Lei Xu, Lin Chen, Weifeng Zhang. 160-166 [doi]
- Static Spreadsheet AnalysisPatrick W. Koch, Birgit Hofer, Franz Wotawa. 167-174 [doi]
- The Slice Navigator: Focused Debugging with Interactive Dynamic SlicingArian Treffer, Matthias Uflacker. 175-180 [doi]
- Bayesian Network Based Program Dependence Graph for Fault LocalizationXiao Yu, Jin Liu, Zijiang James Yang, Xiao Liu, Xiaofei Yin, Shijie Yi. 181-188 [doi]
- A Study of Failures in Community Clusters: The Case of ConteSubrata Mitra, Suhas Javagal, Amiya Kumar Maji, Todd Gamblin, Adam Moody, Stephen Harrell, Saurabh Bagchi. 189-196 [doi]
- An Automated (F) LTL Test Oracle for Testing with RequirementsIngo Pill, Franz Wotawa. 197-204 [doi]
- An Adaptive Sequence Approach for OOS Test Case PrioritizationJinfu Chen, Lili Zhu, Tsong Yueh Chen, Rubing Huang, Dave Towey, Fei-Ching Kuo, Yuchi Guo. 205-212 [doi]
- Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization ArsenalMarllos P. Prado, Auri M. R. Vincenzi. 213-220 [doi]
- Integrated Formal Methods for Constructing Assurance CasesCarmen Cârlan, Tewodros A. Beyene, Harald Ruess. 221-228 [doi]
- On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and CertificationAndrés Paz, Ghizlane El-Boussaidi. 229-236 [doi]
- Model-Based Software Engineering and Certification: Some Open IssuesStefano Russo, Fabio Scippacercola. 237-240 [doi]
- Certification of Medical Information Systems: Towards a Foundational Framework and MethodologyJens H. Weber, Morgan Price. 241-248 [doi]
- Safety Assurance for Emergent Collaboration of Open Distributed SystemsSebastian Müller, Peter Liggesmeyer. 249-256 [doi]
- Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability AssessmentQiuying Li, Chengyong Mao. 257-263 [doi]
- Insights for Practicing Engineers from a Formal Verification Study of the Linux KernelSuresh Kothari, Payas Awadhutkar, Ahmed Tamrawi. 264-270 [doi]
- A Formal Model for Stateful and Variant-Rich Automotive FunctionsMichael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German. 271-277 [doi]