Static Detection of Configuration-Dependent Bugs in Configurable Software

Jafar Al-Kofahi; Lisong Guo; Hung Viet Nguyen; Hoan Nguyen; Tien N. Nguyen

Iowa State University, USA; INRIA, France; LIP6, France; Sorbonne Universités, France

Improving Cloud-based Continuous Integration Environments

Alessio Gambi; Rostyslav Zabolotnyi; Schahram Dustdar

Vienna University of Technology, Austria

Interactive and Collaborative Source Code Annotation

Ryo Suzuki

University of Tokyo, Japan

Discovering Code Dependencies by Harnessing Developer’s Activity

Martin Konopka; Pavol Navrat; Maria Bielikova

Slovak University of Technology in Bratislava, Slovakia

Filtering Code Smells Detection Results

Francesca Arcelli Fontana; Vincenzo Ferme; Marco Zanoni

University of Milano Bicocca, Italy; University of Lugano, Switzerland

Enhancing Partition Testing through Output Variation

Huai Liu; Pak-Lok Poon; Tsong Yueh Chen

RMIT University, Australia; The Hong Kong Polytechnic University, Hong Kong; Swinburne University of Technology, Australia

Segmentation Based Online Performance Problem Diagnosis

Jingwen Zhou; Zhenbang Chen; Ji Wang 

National University of Defense Technology, China

Symbolic Execution of MPI Programs 

Xianjin Fu; Zhenbang Chen; Hengbiao Yu; Chun Huang; Wei Dong; Ji Wang 

National University of Defense Technology, China

Automatically Fixing Real-World JavaScript Performance Bugs 

Marija Selakovic; Michael Pradel 

TU Darmstadt, Germany

Dynamic Analysis Using JavaScript Proxies 

Laurent Christophe; Coen De Roover; Wolfgang De Meuter 

Vrije Universiteit Brussel, Belgium

Is Carmen Better than George? Testing the Exploratory Tester Using HCI Techniques

Andrea Borg; Chris Porter; Mark Micallef

University of Malta, Malta

VIBeS, Transition System Mutation Made Easy

Xavier Devroey; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans

University of Namur, Belgium 

ProNat: An Agent-Based System Design for Programming in Spoken Natural Language 

Sebastian Weigelt; Walter F. Tichy 

Karlsruhe Institute of Technology, Germany

Static Analysis of Concurrent Higher-Order Programs 

Quentin Stievenart; Jens Nicolay; Wolfgang De Meuter; Coen De Roover 

Vrije Universiteit Brussel, Belgium

Conquering Uncertainty in Java Programming 

Takuya Fukamachi; Naoyasu Ubayashi; Shintaro Hosoai; Yasutaka Kamei 

Kyushu University, Japan

MAPP: The Berkeley Model and Analysis Prototyping Platform 

Tianshi Wang; Aadithya Karthik; Bichen Wu; Jaijeet Roychowdhury

UC Berkeley, USA 

An Efficient Equivalence Checking Method for Petri Net Based Models of Programs

Soumyadip Bandyopadhyay; Dipankar Sarkar; Chittaranjan Mandal

Indian Institute of Technology, India

Model-Based Run-Time Variability Resolution for Robotic Applications

Luca Gherardi; Nico Hochgeschwender 

Swiss Federal Institute of Technology, Switzerland; Bonn-Rhine-Sieg University of Applied Sciences, Germany

Tierless Programming in JavaScript

Laure Philips; Coen De Roover; Wolfgang De Meuter 

Vrije Universiteit Brussel, Belgium

Software Development Risk Management: Using Machine Learning for Generating Risk Prompts

Harry Raymond Joseph 

Indian Institute of Technology Madras, India

Reasoning Based on Imperfect Context Data in Adaptive Security 

Sara Sartoli; Akbar Siami Namin

Texas Tech University, USA