ISSTA 2016
25th International Symposium on Software Testing and Analysis (ISSTA)

25th International Symposium on Software Testing and Analysis (ISSTA), July 18–20, 2016, Saarbrücken, Germany

Phone Layout
No Pictures
Sunday, July 17, 2016
CSTVA (ISSTA Workshop)
08:30 – 17:00
DECAF (ISSTA Workshop)
08:30 – 17:00
Doctoral Symposium (ISSTA Track)
08:30 – 17:00
Monday, July 18, 2016
Registration
08:00 – 08:50
Welcome
08:30 – 08:50
Keynote 1
08:50 – 09:40
Keynote 1
Lionel Briand
(SnT, Luxembourg)
The Web (Research Papers)
10:10 – 11:00
DEKANT: A Static Analysis Tool That Learns to Detect Web Application Vulnerabilities
Ibéria Medeiros, Nuno Neves, and Miguel Correia
(University of Lisbon, Portugal; INESC-ID, Portugal; LaSIGE, Portugal)
Publisher's Version
Automated and Effective Testing of Web Services for XML Injection Attacks
(University of Luxembourg, Luxembourg)
Publisher's Version
Static Analysis (Research Papers)
11:20 – 13:00
Binary Code Is Not Easy
(University of Wisconsin-Madison, USA)
Publisher's Version
Specification of Concretization and Symbolization Policies in Symbolic Execution
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, and Jean-Yves Marion
(CEA LIST, France; VERIMAG, France; University of Lorraine, France; CNRS, France; LORIA, France)
Publisher's Version
EagerMerge: An Optimistic Technique for Efficient Points-To Analysis
Sudhir Samrit and Rupesh Nasre
(IIT Madras, India)
Publisher's Version aec-badge-issta
IPA: Improving Predictive Analysis with Pointer Analysis
Peng Liu, Omer Tripp, and Xiangyu Zhang
(Purdue University, USA; IBM Research, USA; Google, USA)
Publisher's Version
Lecture by Gordon Fraser (Summer School)
11:25 – 12:55
Test Generation (Research Papers)
14:00 – 15:40
Generating Focused Random Tests using Directed Swarm Testing
(Oregon State University, USA)
Publisher's Version
Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events
Markus Ermuth and Michael Pradel
(TU Darmstadt, Germany)
Publisher's Version Preprint
Sapienz: Multi-objective Automated Testing for Android Applications
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK)
Publisher's Version Preprint Video Info
FSX: Fine-Grained Incremental Unit Test Generation for C/C++ Programs
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, and Tadahiro Uehara
(Fujitsu Labs, USA; Fujitsu Labs, Japan)
Publisher's Version
Lecture by Eric Bodden (Summer School)
14:00 – 15:40
Testing Processes (Research Papers)
16:00 – 17:40
CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites
Valerio Terragni, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
Publisher's Version aec-badge-issta
Automatic Test Case Generation: What If Test Code Quality Matters?
(University of Salerno, Italy; Delft University of Technology, Netherlands; University of Molise, Italy)
Publisher's Version
Analyzing Test Completeness for Dynamic Languages
(Aarhus University, Denmark)
Publisher's Version Info aec-badge-issta
Unveiling Anomalies and Their Impact on Software Quality in Model-Based Automotive Software Revisions with Software Metrics and Domain Experts
Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, and Alessia Knauss
(University of Gothenburg, Sweden; Automotive Safety Technologies, Germany; Chalmers University of Technology, Sweden)
Publisher's Version
Lecture by Andrea Arcuri (Summer School)
16:00 – 17:40
Reception
19:00 – 22:00
Tuesday, July 19, 2016
Awards
08:30 – 08:50
Keynote 2
08:50 – 09:40
Keynote 2
Martin Vechev
(ETH Zürich, Switzerland)
Debugging and Repair (Research Papers)
11:20 – 13:00
Practitioners' Expectations on Automated Fault Localization
Pavneet Singh Kochhar, Xin Xia, David Lo, and Shanping Li
(Singapore Management University, Singapore; Zhejiang University, China)
Publisher's Version
A Learning-to-Rank Based Fault Localization Approach using Likely Invariants
Tien-Duy B. Le, David Lo, Claire Le Goues, and Lars Grunske
(Singapore Management University, Singapore; Carnegie Mellon University, USA; Humboldt University of Berlin, Germany)
Publisher's Version
Optimal Sanitization Synthesis for Web Application Vulnerability Repair
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, and Tevfik Bultan
(National Chengchi University, Taiwan; Academia Sinica, Taiwan; University of California at Santa Barbara, USA)
Publisher's Version
ARROW: Automated Repair of Races on Client-Side Web Pages
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; Nanjing University, China)
Publisher's Version
Lecture by Alessandra Gorla (Summer School)
11:25 – 12:55
Oracles (Research Papers)
14:00 – 15:40
Automatic Generation of Oracles for Exceptional Behaviors
(University of Lugano, Switzerland; IMDEA Software Institute, Spain; University of Washington, USA)
Publisher's Version Preprint aec-badge-issta
Verdict Machinery: On the Need to Automatically Make Sense of Test Results
Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, and Patrizio Pelliccione
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Ericsson, Sweden)
Publisher's Version
Testing Stochastic Software using Pseudo-Oracles
Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, and Christopher A. Gilligan
(University of Cambridge, UK; University of Otago, New Zealand)
Publisher's Version
Test Oracle Assessment and Improvement
Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University College London, UK)
Publisher's Version
Lecture by Kim Herzig (Summer School)
14:00 – 15:40
Program Understanding (Research Papers)
16:00 – 17:40
DSI: An Evidence-Based Approach to Identify Dynamic Data Structures in C Programs
David H. White, Thomas Rupprecht, and Gerald Lüttgen
(University of Bamberg, Germany)
Publisher's Version
Documenting Database Usages and Schema Constraints in Database-Centric Applications
Mario Linares-Vásquez, Boyang Li, Christopher Vendome, and Denys Poshyvanyk
(College of William and Mary, USA; Universidad de los Andes, Colombia)
Publisher's Version Preprint Info
Exploring Regular Expression Usage and Context in Python
Carl Chapman and Kathryn T. Stolee
(Iowa State University, USA; North Carolina State University, USA)
Publisher's Version
Toward Understanding Compiler Bugs in GCC and LLVM
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su
(University of California at Davis, USA)
Publisher's Version aec-badge-issta
Lecture by Cristian Cadar (Summer School)
16:00 – 17:40
Dinner
19:00 – 22:00
Wednesday, July 20, 2016
ISSTA 2017
08:30 – 08:50
Android (Research Papers)
08:50 – 09:40
Semantic Modelling of Android Malware for Effective Malware Comprehension, Detection, and Classification
Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, and Annamalai Narayanan
(Nanyang Technological University, Singapore)
Publisher's Version
DroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps
Li Li, Tegawendé F. Bissyandé, Damien Octeau, and Jacques Klein
(University of Luxembourg, Luxembourg; Pennsylvania State University, USA)
Publisher's Version Preprint Info
Mutation Testing (Research Papers)
10:10 – 11:25
Mutation-Aware Fault Prediction
David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, and Fan Wu
(University of Hertfordshire, UK; Brunel University London, UK; University College London, UK)
Publisher's Version
Predictive Mutation Testing
Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA)
Publisher's Version
Threats to the Validity of Mutation-Based Test Assessment
Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, and Yves Le Traon
(University of Luxembourg, Luxembourg; University College London, UK)
Publisher's Version Preprint
Concurrency (Research Papers)
11:45 – 13:00
Efficient Race Detection in the Presence of Programmatic Event Loops
Anirudh Santhiar, Shalini Kaleeswaran, and Aditya Kanade
(Indian Institute of Science, India)
Publisher's Version
Automatically Verifying and Reproducing Event-Based Races in Android Apps
Yongjian Hu, Iulian Neamtiu, and Arash Alavi
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
Publisher's Version
SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks
(University of Kentucky, USA; TU Darmstadt, Germany)
Publisher's Version
Performance (Research Papers)
14:00 – 15:15
Zero-Overhead Profiling via EM Emanations
Robert Callan, Farnaz Behrang, Alenka Zajic, Milos Prvulovic, and Alessandro Orso
(Georgia Tech, USA)
Publisher's Version
Efficient Flow Profiling for Detecting Performance Bugs
Rashmi Mudduluru and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Publisher's Version aec-badge-issta
Energy-Aware Test-Suite Minimization for Android Apps
(University of California at Irvine, USA)
Publisher's Version aec-badge-issta
Keynote 3
15:15 – 16:00
Keynote 3
Christian Holler
(Mozilla, USA)
Thursday, July 21, 2016
INTUITEST (ISSTA Workshop)
08:30 – 17:00
QUDOS (ISSTA Workshop)
08:30 – 17:00

Time stamp: 2019-04-23T20:40:32+02:00