ISSTA 2016 – Proceedings

Frontmatter

Research Papers

The Web
Mon, Jul 18, 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)


@InProceedings{ISSTA16p1, author = {Ibéria Medeiros and Nuno Neves and Miguel Correia}, title = {DEKANT: A Static Analysis Tool That Learns to Detect Web Application Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

Automated and Effective Testing of Web Services for XML Injection Attacks
Sadeeq Jan, Cu D. Nguyen, and Lionel C. Briand
(University of Luxembourg, Luxembourg)


@InProceedings{ISSTA16p13, author = {Sadeeq Jan and Cu D. Nguyen and Lionel C. Briand}, title = {Automated and Effective Testing of Web Services for XML Injection Attacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }

Static Analysis
Mon, Jul 18, 11:20 - 13:00

Binary Code Is Not Easy
Xiaozhu Meng and Barton P. Miller
(University of Wisconsin-Madison, USA)


@InProceedings{ISSTA16p25, author = {Xiaozhu Meng and Barton P. Miller}, title = {Binary Code Is Not Easy}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p37, author = {Robin David and Sébastien Bardin and Josselin Feist and Laurent Mounier and Marie-Laure Potet and Thanh Dinh Ta and Jean-Yves Marion}, title = {Specification of Concretization and Symbolization Policies in Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, }

EagerMerge: An Optimistic Technique for Efficient Points-To Analysis
Sudhir Samrit and Rupesh Nasre
(IIT Madras, India)


@InProceedings{ISSTA16p49, author = {Sudhir Samrit and Rupesh Nasre}, title = {EagerMerge: An Optimistic Technique for Efficient Points-To Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } 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)


@InProceedings{ISSTA16p61, author = {Peng Liu and Omer Tripp and Xiangyu Zhang}, title = {IPA: Improving Predictive Analysis with Pointer Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, }

Test Generation
Mon, Jul 18, 14:00 - 15:40

Generating Focused Random Tests using Directed Swarm Testing
Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, and Arpit Christi
(Oregon State University, USA)


@InProceedings{ISSTA16p73, author = {Mohammad Amin Alipour and Alex Groce and Rahul Gopinath and Arpit Christi}, title = {Generating Focused Random Tests using Directed Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, }

Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events
Markus Ermuth and Michael Pradel
(TU Darmstadt, Germany)


@InProceedings{ISSTA16p85, author = {Markus Ermuth and Michael Pradel}, title = {Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2016}, }

Sapienz: Multi-objective Automated Testing for Android Applications
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK)


@InProceedings{ISSTA16p97, author = {Ke Mao and Mark Harman and Yue Jia}, title = {Sapienz: Multi-objective Automated Testing for Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p109, author = {Hiroaki Yoshida and Susumu Tokumoto and Mukul R. Prasad and Indradeep Ghosh and Tadahiro Uehara}, title = {FSX: Fine-Grained Incremental Unit Test Generation for C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2016}, }

Testing Processes
Mon, Jul 18, 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)


@InProceedings{ISSTA16p121, author = {Valerio Terragni and Yepang Liu and Shing-Chi Cheung}, title = {CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, } aec-badge-issta

Automatic Test Case Generation: What If Test Code Quality Matters?
Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, and Andrea De Lucia
(University of Salerno, Italy; Delft University of Technology, Netherlands; University of Molise, Italy)


@InProceedings{ISSTA16p133, author = {Fabio Palomba and Annibale Panichella and Andy Zaidman and Rocco Oliveto and Andrea De Lucia}, title = {Automatic Test Case Generation: What If Test Code Quality Matters?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2016}, }

Analyzing Test Completeness for Dynamic Languages
Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller
(Aarhus University, Denmark)


@InProceedings{ISSTA16p145, author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders Møller}, title = {Analyzing Test Completeness for Dynamic Languages}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2016}, } 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)


@InProceedings{ISSTA16p157, author = {Jan Schroeder and Christian Berger and Miroslaw Staron and Thomas Herpel and Alessia Knauss}, title = {Unveiling Anomalies and Their Impact on Software Quality in Model-Based Automotive Software Revisions with Software Metrics and Domain Experts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2016}, }

Debugging and Repair
Tue, Jul 19, 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)


@InProceedings{ISSTA16p169, author = {Pavneet Singh Kochhar and Xin Xia and David Lo and Shanping Li}, title = {Practitioners' Expectations on Automated Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p181, author = {Tien-Duy B. Le and David Lo and Claire Le Goues and Lars Grunske}, title = {A Learning-to-Rank Based Fault Localization Approach using Likely Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p193, author = {Fang Yu and Ching-Yuan Shueh and Chun-Han Lin and Yu-Fang Chen and Bow-Yaw Wang and Tevfik Bultan}, title = {Optimal Sanitization Synthesis for Web Application Vulnerability Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {193-192}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p205, author = {Weihang Wang and Yunhui Zheng and Peng Liu and Lei Xu and Xiangyu Zhang and Patrick Eugster}, title = {ARROW: Automated Repair of Races on Client-Side Web Pages}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2016}, }

Oracles
Tue, Jul 19, 14:00 - 15:40

Automatic Generation of Oracles for Exceptional Behaviors
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, and Mauro Pezzè
(University of Lugano, Switzerland; IMDEA Software Institute, Spain; University of Washington, USA)


@InProceedings{ISSTA16p217, author = {Alberto Goffi and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè}, title = {Automatic Generation of Oracles for Exceptional Behaviors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2016}, } 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)


@InProceedings{ISSTA16p229, author = {Mikael Fagerström and Emre Emir Ismail and Grischa Liebel and Rohit Guliani and Fredrik Larsson and Karin Nordling and Eric Knauss and Patrizio Pelliccione}, title = {Verdict Machinery: On the Need to Automatically Make Sense of Test Results}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {229-228}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p241, author = {Matthew Patrick and Andrew P. Craig and Nik J. Cunniffe and Matthew Parry and Christopher A. Gilligan}, title = {Testing Stochastic Software using Pseudo-Oracles}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, }

Test Oracle Assessment and Improvement
Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University College London, UK)


@InProceedings{ISSTA16p253, author = {Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella}, title = {Test Oracle Assessment and Improvement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2016}, }

Program Understanding
Tue, Jul 19, 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)


@InProceedings{ISSTA16p265, author = {David H. White and Thomas Rupprecht and Gerald Lüttgen}, title = {DSI: An Evidence-Based Approach to Identify Dynamic Data Structures in C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p277, author = {Mario Linares-Vásquez and Boyang Li and Christopher Vendome and Denys Poshyvanyk}, title = {Documenting Database Usages and Schema Constraints in Database-Centric Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2016}, }

Exploring Regular Expression Usage and Context in Python
Carl Chapman and Kathryn T. Stolee
(Iowa State University, USA; North Carolina State University, USA)


@InProceedings{ISSTA16p289, author = {Carl Chapman and Kathryn T. Stolee}, title = {Exploring Regular Expression Usage and Context in Python}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {289-288}, doi = {}, year = {2016}, }

Toward Understanding Compiler Bugs in GCC and LLVM
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su
(University of California at Davis, USA)


@InProceedings{ISSTA16p301, author = {Chengnian Sun and Vu Le and Qirun Zhang and Zhendong Su}, title = {Toward Understanding Compiler Bugs in GCC and LLVM}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2016}, } aec-badge-issta

Android
Wed, Jul 20, 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)


@InProceedings{ISSTA16p313, author = {Guozhu Meng and Yinxing Xue and Zhengzi Xu and Yang Liu and Jie Zhang and Annamalai Narayanan}, title = {Semantic Modelling of Android Malware for Effective Malware Comprehension, Detection, and Classification}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p325, author = {Li Li and Tegawendé F. Bissyandé and Damien Octeau and Jacques Klein}, title = {DroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2016}, }

Mutation Testing
Wed, Jul 20, 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)


@InProceedings{ISSTA16p337, author = {David Bowes and Tracy Hall and Mark Harman and Yue Jia and Federica Sarro and Fan Wu}, title = {Mutation-Aware Fault Prediction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {337-336}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p349, author = {Jie Zhang and Ziyi Wang and Lingming Zhang and Dan Hao and Lei Zang and Shiyang Cheng and Lu Zhang}, title = {Predictive Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {349-348}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p361, author = {Mike Papadakis and Christopher Henard and Mark Harman and Yue Jia and Yves Le Traon}, title = {Threats to the Validity of Mutation-Based Test Assessment}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2016}, }

Concurrency
Wed, Jul 20, 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)


@InProceedings{ISSTA16p373, author = {Anirudh Santhiar and Shalini Kaleeswaran and Aditya Kanade}, title = {Efficient Race Detection in the Presence of Programmatic Event Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {373-372}, doi = {}, year = {2016}, }

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)


@InProceedings{ISSTA16p385, author = {Yongjian Hu and Iulian Neamtiu and Arash Alavi}, title = {Automatically Verifying and Reproducing Event-Based Races in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2016}, }

SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks
Tingting Yu and Michael Pradel
(University of Kentucky, USA; TU Darmstadt, Germany)


@InProceedings{ISSTA16p397, author = {Tingting Yu and Michael Pradel}, title = {SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2016}, }

Performance
Wed, Jul 20, 14:00 - 15:15

Zero-Overhead Profiling via EM Emanations
Robert Callan, Farnaz Behrang, Alenka Zajic, Milos Prvulovic, and Alessandro Orso
(Georgia Tech, USA)


@InProceedings{ISSTA16p409, author = {Robert Callan and Farnaz Behrang and Alenka Zajic and Milos Prvulovic and Alessandro Orso}, title = {Zero-Overhead Profiling via EM Emanations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2016}, }

Efficient Flow Profiling for Detecting Performance Bugs
Rashmi Mudduluru and Murali Krishna Ramanathan
(Indian Institute of Science, India)


@InProceedings{ISSTA16p421, author = {Rashmi Mudduluru and Murali Krishna Ramanathan}, title = {Efficient Flow Profiling for Detecting Performance Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2016}, } aec-badge-issta

Energy-Aware Test-Suite Minimization for Android Apps
Reyhaneh Jabbarvand, Alireza Sadeghi, Hamid Bagheri, and Sam Malek
(University of California at Irvine, USA)


@InProceedings{ISSTA16p433, author = {Reyhaneh Jabbarvand and Alireza Sadeghi and Hamid Bagheri and Sam Malek}, title = {Energy-Aware Test-Suite Minimization for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {433-432}, doi = {}, year = {2016}, } aec-badge-issta

Demonstration Papers

COSTOTest: A Tool for Building and Running Test Harness for Service-Based Component Models (Demo)
Pascal André, Jean-Marie Mottu, and Gerson Sunyé
(LINA, France; University of Nantes, France; Inria, France; Mines Nantes, France)


@InProceedings{ISSTA16p445, author = {Pascal André and Jean-Marie Mottu and Gerson Sunyé}, title = {COSTOTest: A Tool for Building and Running Test Harness for Service-Based Component Models (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {445-444}, doi = {}, year = {2016}, }

ASTOR: A Program Repair Library for Java (Demo)
Matias Martinez and Martin Monperrus
(University of Lugano, Switzerland; University of Lille, France; Inria, France)


@InProceedings{ISSTA16p449, author = {Matias Martinez and Martin Monperrus}, title = {ASTOR: A Program Repair Library for Java (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {449-448}, doi = {}, year = {2016}, }

Jolinar: Analysing the Energy Footprint of Software Applications (Demo)
Adel Noureddine, Syed Islam, and Rabih Bashroush
(University of East London, UK)


@InProceedings{ISSTA16p453, author = {Adel Noureddine and Syed Islam and Rabih Bashroush}, title = {Jolinar: Analysing the Energy Footprint of Software Applications (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {453-452}, doi = {}, year = {2016}, }

PIT: A Practical Mutation Testing Tool for Java (Demo)
Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, and Anthony Ventresque
(NCR, UK; Lero, Ireland; University College Dublin, Ireland; École Centrale de Nantes, France; University of Luxembourg, Luxembourg)


@InProceedings{ISSTA16p457, author = {Henry Coles and Thomas Laurent and Christopher Henard and Mike Papadakis and Anthony Ventresque}, title = {PIT: A Practical Mutation Testing Tool for Java (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {457-456}, doi = {}, year = {2016}, }

proc time: 0.83