ISSTA 2015 – Proceedings

2015 International Symposium on Software Testing and Analysis (ISSTA), July 13–17, 2015, Baltimore, MD, USA

Frontmatter

Message from the Chairs
Article: issta15foreword-fm001-p (type: Frontmatter) doi:

Main Research

Debugging

Evaluating the Usefulness of IR-Based Fault Localization Techniques
Qianqian Wang, Chris Parnin, and Alessandro Orso
(Georgia Tech, USA; North Carolina State University, USA)
Article: issta15main-mainid90-p (type: Full Paper (10 pages + references)) doi:

Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
Article: issta15main-mainid111-p (type: Full Paper (10 pages + references)) doi:

An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems
Zichao Qi, Fan Long, Sara Achour, and Martin Rinard
(Massachusetts Institute of Technology, USA)

aec-badge-issta Article: issta15main-mainid79-p (type: Full Paper (10 pages + references)) doi:

Web Security

BrowserAudit: Automated Testing of Browser Security Features
Charlie Hothersall-Thomas, Sergio Maffeis, and Chris Novakovic
(Netcraft, UK; Imperial College London, UK)

aec-badge-issta Article: issta15main-mainid142-p (type: Full Paper (10 pages + references)) doi:

Detection and Classiﬁcation of Malicious JavaScript via Attack Behavior Modelling
Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:

Experience Report: An Empirical Study of PHP Security Mechanism Usage
Johannes Dahse and Thorsten Holz
(Ruhr University Bochum, Germany)
Article: issta15main-mainid65-p (type: Full Paper (10 pages + references)) doi:

Mobile/Web Analysis

WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection
Haoyu Wang, Yao Guo, Ziang Ma, and Xiangqun Chen
(Peking University, China)
Article: issta15main-mainid21-p (type: Full Paper (10 pages + references)) doi:

Systematic Execution of Android Test Suites in Adverse Conditions
Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller
(Aarhus University, Denmark)

aec-badge-issta Article: issta15main-mainid51-p (type: Full Paper (10 pages + references)) doi:

DLint: Dynamically Checking Bad Coding Practices in JavaScript
Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen
(University of California at Berkeley, USA; TU Darmstadt, Germany; Samsung Research, USA)

aec-badge-issta Article: issta15main-mainid36-p (type: Full Paper (10 pages + references)) doi:

Mobile Security

Scalable and Precise Taint Analysis for Android
Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby
(Google, USA; Rensselaer Polytechnic Institute, USA; IBM Research, USA)

aec-badge-issta Article: issta15main-mainid93-p (type: Full Paper (10 pages + references)) doi:

Dynamic Detection of Inter-application Communication Vulnerabilities in Android
Roee Hay, Omer Tripp, and Marco Pistoia
(IBM, Israel; IBM Research, USA)

aec-badge-issta Article: issta15main-mainid20-p (type: Full Paper (10 pages + references)) doi:

Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Lazaro Clapp, Saswat Anand, and Alex Aiken
(Stanford University, USA)

aec-badge-issta Article: issta15main-mainid44-p (type: Full Paper (10 pages + references)) doi:

Concurrency Analysis

When Truth Is Efficient: Analysing Concurrency
Ganesh Narayanaswamy
(University of Oxford, UK)
Article: issta15main-mainid15-p (type: Full Paper (10 pages + references)) doi:

Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems
Monika Dhok, Rashmi Mudduluru, and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Article: issta15main-mainid29-p (type: Full Paper (10 pages + references)) doi:

ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs
Sepideh Khoshnood, Markus Kusano, and Chao Wang
(Virginia Tech, USA)

aec-badge-issta Article: issta15main-mainid124-p (type: Full Paper (10 pages + references)) doi:

Symbolic Execution

Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution
Xiangyang Jia, Carlo Ghezzi, and Shi Ying
(Wuhan University, China; Politecnico di Milano, Italy)
Article: issta15main-mainid13-p (type: Full Paper (10 pages + references)) doi:

S-Looper: Automatic Summarization for Multipath String Loops
Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen
(Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA)
Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi:

Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE
Xiaoyin Wang, Lingming Zhang, and Philip Tanofsky
(University of Texas at San Antonio, USA; University of Texas at Dallas, USA)
Article: issta15main-mainid112-p (type: Full Paper (10 pages + references)) doi:

Regression Testing

Practical Regression Test Selection with Dynamic File Dependencies
Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: issta15main-mainid132-p (type: Full Paper (10 pages + references)) doi:

Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency
Alex Gyori, August Shi, Farah Hariri, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: issta15main-mainid123-p (type: Full Paper (10 pages + references)) doi:

Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation
Michael G. Epitropakis, Shin Yoo, Mark Harman, and Edmund K. Burke
(University of Stirling, UK; University College London, UK)
Article: issta15main-mainid72-p (type: Full Paper (10 pages + references)) doi:

Search-Based Algorithms

Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms
Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong
(Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore)

aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi:

Automated Software Transplantation
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke
(University College London, UK)

aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:

Automating Performance Bottleneck Detection using Search-Based Application Profiling
Du Shen, Qi Luo, Denys Poshyvanyk, and Mark Grechanik
(College of William and Mary, USA; University of Illinois at Chicago, USA)
Article: issta15main-mainid95-p (type: Full Paper (10 pages + references)) doi:

Verification

Test-Case Generation for Runtime Analysis and Vice Versa: Verification of Aircraft Separation Assurance
Marko Dimjašević and Dimitra Giannakopoulou
(University of Utah, USA; NASA Ames Research Center, USA)
Article: issta15main-mainid126-p (type: Full Paper (10 pages + references)) doi:

Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement
Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article: issta15main-mainid18-p (type: Full Paper (10 pages + references)) doi:

Reusing Constraint Proofs in Program Analysis
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè
(University of Lugano, Switzerland; University of Milano-Bicocca, Italy)
Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:

Random Testing

Feedback-Controlled Random Test Generation
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, and Shinichi Honiden
(University of Tokyo, Japan; National Institute of Informatics, Japan)

aec-badge-issta Article: issta15main-mainid135-p (type: Full Paper (10 pages + references)) doi:

Randomized Stress-Testing of Link-Time Optimizers
Vu Le, Chengnian Sun, and Zhendong Su
(University of California at Davis, USA)
Article: issta15main-mainid26-p (type: Full Paper (10 pages + references)) doi:

Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations
José Miguel Rojas, Gordon Fraser, and Andrea Arcuri
(University of Sheffield, UK; Scienta, Norway; University of Luxembourg, Luxembourg)

aec-badge-issta Article: issta15main-mainid22-p (type: Full Paper (10 pages + references)) doi:

Domain-Specific Testing

Calculation Coverage Testing in Scientific Applications
Yoshiki Sato, Shumpei Hozumi, and Shigeru Chiba
(University of Tokyo, Japan)

aec-badge-issta Article: issta15main-mainid28-p (type: Full Paper (10 pages + references)) doi:

Automatic Fault Injection for Driver Robustness Testing
Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie
(Portland State University, USA)
Article: issta15main-mainid52-p (type: Full Paper (10 pages + references)) doi:

Preventing Data Errors with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou
(University of Washington, USA; University of Massachusetts, USA)
Article: issta15main-mainid83-p (type: Full Paper (10 pages + references)) doi:

Model-Based Testing

Automatic Generation of System Test Cases from Use Case Specifications
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal
(University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan)
Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:

RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework
Tao Yue, Shaukat Ali, and Man Zhang
(Simula Research Laboratory, Norway; University of Oslo, Norway)
Article: issta15main-mainid125-p (type: Full Paper (10 pages + references)) doi:

Tool Demonstrations

Dynamic Taint Tracking for Java with Phosphor (Demo)
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
Article: issta15demo-demoid2-p (type: Short Paper (5 pages)) doi:

TSTL: A Language and Tool for Testing (Demo)
Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal
(Oregon State University, USA)
Article: issta15demo-demoid4-p (type: Short Paper (5 pages)) doi:

CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)
Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini
(IBM Research, USA)
Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:

SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo)
Tanakorn Leesatapornwongsa and Haryadi S. Gunawi
(University of Chicago, USA)
Article: issta15demo-demoid3-p (type: Short Paper (5 pages)) doi:

Doctoral Symposium

Making Your Crashes Work for You (Doctoral Symposium)
Peter Ohmann
(University of Wisconsin-Madison, USA)
Article: issta15doc-docid2-p (type: Short Paper (4 pages)) doi:

Scalable Program Analysis through Proof Caching (Doctoral Symposium)
Andrea Aquino
(University of Lugano, Switzerland)
Article: issta15doc-docid1-p (type: Short Paper (4 pages)) doi:

Collaborative Testing across Shared Software Components (Doctoral Symposium)
Teng Long
(University of Maryland, USA)
Article: issta15doc-docid3-p (type: Short Paper (4 pages)) doi:

Cost-Aware Combinatorial Interaction Testing (Doctoral Symposium)
Gulsen Demiroz
(Sabanci University, Turkey)
Article: issta15doc-docid5-p (type: Short Paper (4 pages)) doi:

Mining Change History for Test-Plan Generation (Doctoral Symposium)
Thomas Rolfsnes
(Simula Research Laboratory, Norway)
Article: issta15doc-docid4-p (type: Short Paper (4 pages)) doi: