Table of Contents

• Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future FailuresPreston Moore, Justin Cappos, Phyllis G. Frankl, Thomas Wies. 1-12 [doi]
• Assessing the Safety and Reliability of Autonomous Vehicles from Road TestingXingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini. 13-23 [doi]
• A Safety Analysis Method for Perceptual Components in Automated DrivingRick Salay, Matt Angus, Krzysztof Czarnecki. 24-34 [doi]
• FluxRank: A Widely-Deployable Framework to Automatically Localizing Root Cause Machines for Software Service Failure MitigationPing Liu, Yu Chen, Xiaohui Nie, Jing Zhu, Shenglin Zhang, Kaixin Sui, Ming Zhang, Dan Pei. 35-46 [doi]
• Generic and Robust Localization of Multi-dimensional Root CausesZeyan Li, Dan Pei, Chengyang Luo, Yiwei Zhao, Yongqian Sun, Kaixin Sui, Xiping Wang, Dapeng Liu, Xing Jin, Qi Wang. 47-57 [doi]
• How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source ProjectsJingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen 0003, Yingfei Xiong, Gang Huang 0001. 58-69 [doi]
• Inferring Performance Bug Patterns from Developer CommitsYiqun Chen, Stefan Winter 0001, Neeraj Suri. 70-81 [doi]
• Engineering a Better Fuzzer with Synergically Integrated OptimizationsJie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang 0001, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun. 82-92 [doi]
• Spotting Problematic Code Lines using Nonintrusive Programmers' BiofeedbackRicardo Couceiro, Paulo Carvalho 0001, Miguel Castelo-Branco, Henrique Madeira, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros. 93-103 [doi]
• An Empirical Study of Common Challenges in Developing Deep Learning ApplicationsTianyi Zhang 0001, Cuiyun Gao, Lei Ma, Michael Lyu, Miryung Kim. 104-115 [doi]
• TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in Java ApplicationsLong Zhang, Martin Monperrus. 116-127 [doi]
• Fuzzing Error Handling Code in Device Drivers Based on Software Fault InjectionZu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu 0001. 128-138 [doi]
• Enhancing Failure Propagation Analysis in Cloud Computing SystemsDomenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, Nematollah Bidokhti. 139-150 [doi]
• A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault InjectionLucas Palazzi, Guanpeng Li, Bo Fang, Karthik Pattabiraman. 151-162 [doi]
• Supervised Representation Learning Approach for Cross-Project Aging-Related Bug PredictionXiaohui Wan, Zheng Zheng 0001, Fangyun Qin, Yu Qiao, Kishor S. Trivedi. 163-172 [doi]
• Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure SoftwareJoão R. Campos, Marco Vieira, Ernesto Costa. 173-182 [doi]
• Identifying Crashing Fault Residence Based on Cross Project ModelZhou Xu, Tao Zhang, Yifeng Zhang, Yutian Tang, Jin Liu, Xiapu Luo, Jacky Keung, Xiaohui Cui. 183-194 [doi]
• Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack ScenariosLaura Carnevali, Francesco Santoni, Enrico Vicario. 195-205 [doi]
• Test Case Generation Based on Client-Server of Web Applications by Memetic AlgorithmWeiwei Wang, Xiaohong Guo, Zheng Li 0002, Ruilian Zhao. 206-216 [doi]
• Machine Learning and Constraint Solving for Automated Form TestingDionny Santiago, Justin Phillips, Patrick Alt, Brian Muras, Tariq M. King, Peter J. Clarke. 217-227 [doi]
• Understanding and Improving Regression Test Selection in Continuous IntegrationAugust Shi, Peiyuan Zhao, Darko Marinov. 228-238 [doi]
• Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented LearningYaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu, Xin Wang. 239-249 [doi]
• Integrating Safety Certification Into Model-Based Testing of Safety-Critical SystemsAiman Gannous, Anneliese Andrews. 250-260 [doi]
• Mirage: Towards a Metasploit-Like Framework for IoTRomain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Géraldine Vache Marconato. 261-270 [doi]
• Estimating Return on Investment for GUI Test Automation FrameworksFelix Dobslaw, Robert Feldt, David Michaëlsson, Patrick Haar, Francisco Gomes de Oliveira Neto, Richard Torkar. 271-282 [doi]
• Amplifying Integration Tests with CAMPFranck Chauvel, Brice Morin, Enrique Garcia-Ceja. 283-291 [doi]
• TCD: Statically Detecting Type Confusion Errors in C++ ProgramsChangwei Zou, Yulei Sui, Hua Yan, Jingling Xue. 292-302 [doi]
• OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience AnalysisAndrey Morozov, Kai Ding, Mikael Steurer, Klaus Janschek. 303-312 [doi]
• Symbolic Execution for Importance Analysis and Adversarial Generation in Neural NetworksDivya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid. 313-322 [doi]
• How Do Developers Act on Static Analysis Alerts? An Empirical Study of Coverity UsageNasif Imtiaz, Brendan Murphy, Laurie Williams. 323-333 [doi]
• Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing PlatformDomenico Cotroneo, Luigi De Simone, Antonio Ken Iannillo, Roberto Natella, Stefano Rosiello, Nematollah Bidokhti. 334-345 [doi]
• On the Density and Diversity of Degradation Symptoms in Refactored Classes: A Multi-case StudyWillian Nalepa Oizumi, Leonardo da Silva Sousa, Anderson Oliveira, Luiz Carvalho, Alessandro Garcia, Thelma Elita Colanzi, Roberto Felicio Oliveira. 346-357 [doi]
• FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework UpgradeMarco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani. 358-368 [doi]
• HiRec: API Recommendation using Hierarchical ContextRensong Xie, Xianglong Kong, Lulu Wang, Ying Zhou, Bixin Li. 369-379 [doi]
• Criteria to Systematically Evaluate (Safety) Assurance CasesThomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford. 380-390 [doi]
• The Impact of Data Preparation on the Fairness of Software SystemsInês Valentim, Nuno Lourenço 0002, Nuno Antunes. 391-401 [doi]
• Back to Basics - Redefining Quality Measurement for Hybrid Software Development OrganizationsSatya Pradhan, Venky Nanniyur. 402-412 [doi]
• Benefits and Challenges of Model-Based Software Engineering: Lessons Learned Based on Qualitative and Quantitative FindingsKaterina Goseva-Popstojanova, Thomas Kyanko, Noble Nkwocha. 413-423 [doi]
• TamperNN: Efficient Tampering Detection of Deployed Neural NetsErwan Le Merrer, Gilles Trédan. 424-434 [doi]
• Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding PracticesCristiano Inácio Lemes, Vincent Naessens, Marco Vieira. 435-445 [doi]
• Evaluation of Anomaly Detection Algorithms Made Easy with RELOADTommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli. 446-455 [doi]
• MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart ContractWilliam Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh. 456-462 [doi]