Accepted Research Papers

Research Session 1: Best Paper Nominees (Tue Oct 29, 11:00-12:30, Session Chairs: Barbara Gallina and Michel Cukier)

Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures (Research Paper)
Preston Moore, Justin Cappos, Phyllis Frankl and Thomas Wies

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing (Research Paper)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako and Lorenzo Strigini

A Safety Analysis Method for Perceptual Components in Automated Driving (Research Paper)
Rick Salay, Krzysztof Czarnecki and Matt Angus


Research Session 2: Failure/fault root cause analysis 1 (Tue Oct 29, 13:30-15:30, Session Chair: Andrea Ceccarelli)

FluxRank: A Widely-Deployable Framework to Automatically Localizing Root Cause Machines for Software Service Failure Mitigation (Practical Experience Report)
Ping Liu, Yu Chen, Xiaohui Nie, Jing Zhu, Shenglin Zhang, Kaixin Sui, Ming Zhang and Dan Pei

Generic and Robust Localization of Multi-Dimensional Root Cause (Research Paper)
Zeyan Li, Chengyang Luo, Yiwei Zhao, Yongqian Sun, Kaixin Sui, Xiping Wang, Dapeng Liu, Xing Jin, Qi Wang and Dan Pei

How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects (Research Paper)
Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong and Gang Huang

Improving bug localization with word embedding and enhanced convolutional neural networks [Journal-first paper presentation]
Yan Xiao, Jacky Keung, Kwabena E. Bennin, Qing Mi


Research Session 3: Failure/fault root cause analysis 2 (Tue Oct 29, 16:00-18:00, Session Chair: Karthik Pattabiraman)

Inferring Performance Bug Patterns from Developer Commits (Research Paper)
Yiqun Chen, Stefan Winter and Neeraj Suri

Engineering a Better Fuzzer with Synergically Integrated Optimizations (Research Paper)
Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao and Jiaguang Sun

Spotting problematic code lines using nonintrusive programmers’ biofeedback (Research Paper)
Ricardo Couceiro, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Catarina Duarte, César Teixeira, Nuno Laranjeiro, Julio Medeiros, Miguel Castelo Branco, Paulo Carvalho and Henrique Madeira

An Empirical Study of Common Challenges in Developing Deep Learning Applications (Practical Experience Report)
Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu and Miryung Kim


Research Session 4: Fault injection (Wed Oct 30, 13:00-15:00, Session Chair: Henrique Madeira)

TripleAgent: Monitoring, Perturbation and Failure-obliviousness for Automated Resilience Improvement in Java Applications (Research Paper)
Long Zhang and Martin Monperrus

Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection (Research Paper)
Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall and Shi-Min Hu

Enhancing Failure Propagation Analysis in Cloud Computing Systems (Research Paper)
Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella and Nematollah Bidokhti

A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection (Practical Experience Report)
Lucas Palazzi, Guanpeng Li, Bo Fang and Karthik Pattabiraman


Research Session 5: Fault prediction (Wed Oct 30, 15:30-17:30, Session Chair: Katerina Goseva-Popstojanova)

Supervised Representation Learning Approach for Cross-project Aging Related Bug Prediction (Research Paper)
Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao and Kishor S Trivedi

Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software (Tool/Artifact)
João R. Campos, Marco Vieira and Ernesto Costa

Identifying Crashing Fault Residence Based on Cross Project Model (Research Paper)
Zhou Xu, Tao Zhang, Yifeng Zhang, Yutian Tang, Jin Liu, Xiapu Luo, Jacky Keung and Xiaohui Cui

Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios (Research Paper)
Laura Carnevali, Francesco Santoni and Enrico Vicario


Research Session 6: Testing 1 (Wed Oct 30, 13:00-15:00, Session Chair: Jurriaan Hage)

Test Case Generation based on Client-Server of Web Applications by Memetic Algorithm (Research Paper)
Weiwei Wang, Xiaohong Guo, Ruilian Zhao and Zheng Li

Machine Learning and Constraint Solving for Automated Form Testing (Research Paper)
Dionny Santiago, Justin Phillips, Patrick Alt, Brian Muras, Tariq M. King and Peter J. Clarke

Understanding and Improving Regression Test Selection in Continuous Integration (Practical Experience Report)
August Shi, Peiyuan Zhao and Darko Marinov

Texout: Detecting Text-layout Bugs in Mobile Apps via Visualization-oriented Learning (Research Paper)
Yaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu and Xin Wang


Research Session 7: Testing 2 (Wed Oct 30, 15:30-17:30, Session Chair: Marco Viera)

Integrating Safety Certification into Model-based Testing of Safety-critical Systems (Practical Experience Report)
Aiman Gannous and Anneliese Andrews

Mirage: towards a Metasploit-like framework for IoT (Tool/Artifact)
Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaaniche and Géraldine Marconato

Estimating Return on Investment for GUI Test Automation Frameworks (Practical Experience Report)
Felix Dobslaw, Robert Feldt, David Michaëlsson, Patrik Haar, Francisco Gomes de Oliveira Neto and Richard Torkar

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks (Research Paper)
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Burak Kadron, Corina Pasareanu and Sarfraz Khurshid


Research Session 8: Program analysis (Thu Oct 31, 9:00-11:00, Session Chair: Domenico Cotroneo)

TCD: Statically Detecting Type Confusion Errors in C++ Programs (Research Paper)
Changwei Zou, Yulei Sui, Hua Yan and Jingling Xue

OpenErrorPro: A New Tool for Stochastic Model-based Reliability and Resilience Analysis (Tool/Artifact)
Andrey Morozov, Kai Ding, Mikael Steurer and Klaus Janschek

How Do Developers Act on Static Analysis Alerts? An Empirical Study of Coverity Usage (Practical Experience Report)
Nasif Imtiaz, Brendan Murphy and Laurie Williams

Amplifying Integration Tests with CAMP  (Tool/Artifact)
Franck Chauvel, Brice Morin and Enrique Gracia-Ceja


Research Session 9: Context, Evolution, and Reliability (Thu Oct 31, 9:00-11:00, Session Chair: Karama Kanoun)

Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform (Research Paper)
Domenico Cotroneo, Luigi De Simone, Antonio Ken Iannillo, Roberto Natella and Stefano Rosiello

On the density and diversity of degradation symptoms in refactored classes: A multi-case study (Research Paper)
Willian Oizumi, Leonardo Da Silva Sousa, Anderson Oliveira, Luiz Matheus Alencar, Alessandro Garcia, Thelma E. Colanzi and Roberto Oliveira

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade (Research Paper)
Marco Mobilio, Oliviero Riganelli, Daniela Micucci and Leonardo Mariani

HiRec: API Recommendation using Hierarchical Context (Research Paper)
Rensong Xie, Xianglong Kong, Lulu Wang, Bixin Li and Ying Zhou


Research Session 10: Process quality (Thu Oct 31, 13:30-15:30, Session Chair: Michael Lyu)

Criteria to Systematically Evaluate (Safety) Assurance Cases (Practical Experience Report)
Thomas Chowdhury, Alan Wassyng, Richard Paige and Mark Lawford

The Impact of Data Preparation on the Fairness of Software Systems (Practical Experience Report)
Inês Valentim, Nuno Lourenço and Nuno Antunes

Back to Basics – Redefining Quality Measurement for Hybrid Software Development Organizations (Practical Experience Report)
Satya Pradhan and Venky Nanniyur 

Benefits and Challenges of Model-based Software Engineering: Lessons Learned based on Qualitative and Quantitative Findings (Practical Experience Report)
Katerina Goseva-Popstojanova, Thomas Kyanko and Noble Nkwocha


Research Session 11: Security (Thu Oct 31, 13:30-15:30, Session Chair: Bojan Cukic)

Evaluation of Anomaly Detection algorithms made easy with RELOAD (Tool/Artifact)
Tommaso Zoppi, Andrea Ceccarelli and Andrea Bondavalli

TamperNN: Efficient Tampering Detection of Deployed Neural Nets (Research Paper)
Erwan Le Merrer and Gilles Tredan

Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices (Practical Experience Report) 
Cristiano Inácio Lemes, Vincent Naessens and Marco Vieira

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract (Tool/Artifact)
William Zhang, Sebastian Banescu, Leonardo Passos, Steven Stewart and Vijay Ganesh