ISSTA 2015
2015 International Symposium on Software Testing and Analysis (ISSTA)
Powered by
Conference Publishing Consulting

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

ISSTA 2015 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Organization

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)
Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
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

Web Security

BrowserAudit: Automated Testing of Browser Security Features
Charlie Hothersall-Thomas, Sergio Maffeis, and Chris Novakovic
(Netcraft, UK; Imperial College London, UK)
Info aec-badge-issta
Detection and Classification 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)
Experience Report: An Empirical Study of PHP Security Mechanism Usage
Johannes Dahse and Thorsten Holz
(Ruhr University Bochum, Germany)

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)
Systematic Execution of Android Test Suites in Adverse Conditions
Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller
(Aarhus University, Denmark)
Info aec-badge-issta
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

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
Dynamic Detection of Inter-application Communication Vulnerabilities in Android
Roee Hay, Omer Tripp, and Marco Pistoia
(IBM, Israel; IBM Research, USA)
aec-badge-issta
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Lazaro Clapp, Saswat Anand, and Alex Aiken
(Stanford University, USA)
aec-badge-issta

Concurrency Analysis

When Truth Is Efficient: Analysing Concurrency
Ganesh Narayanaswamy
(University of Oxford, UK)
Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems
Monika Dhok, Rashmi Mudduluru, and Murali Krishna Ramanathan
(Indian Institute of Science, India)
ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs
Sepideh Khoshnood, Markus Kusano, and Chao Wang
(Virginia Tech, USA)
aec-badge-issta

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)
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)
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)

Regression Testing

Practical Regression Test Selection with Dynamic File Dependencies
Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
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)
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)
Info

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
Automated Software Transplantation
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke
(University College London, UK)
Info aec-badge-issta
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)

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)
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)
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)

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)
Info aec-badge-issta
Randomized Stress-Testing of Link-Time Optimizers
Vu Le, Chengnian Sun, and Zhendong Su
(University of California at Davis, USA)
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)
Info aec-badge-issta

Domain-Specific Testing

Calculation Coverage Testing in Scientific Applications
Yoshiki Sato, Shumpei Hozumi, and Shigeru Chiba
(University of Tokyo, Japan)
aec-badge-issta
Automatic Fault Injection for Driver Robustness Testing
Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie
(Portland State University, USA)
Preventing Data Errors with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou
(University of Washington, USA; University of Massachusetts, USA)

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)
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)

Tool Demonstrations

Dynamic Taint Tracking for Java with Phosphor (Demo)
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
Info
TSTL: A Language and Tool for Testing (Demo)
Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal
(Oregon State University, USA)
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)
SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo)
Tanakorn Leesatapornwongsa and Haryadi S. Gunawi
(University of Chicago, USA)
Info

Doctoral Symposium

Making Your Crashes Work for You (Doctoral Symposium)
Peter Ohmann
(University of Wisconsin-Madison, USA)
Scalable Program Analysis through Proof Caching (Doctoral Symposium)
Andrea Aquino
(University of Lugano, Switzerland)
Collaborative Testing across Shared Software Components (Doctoral Symposium)
Teng Long
(University of Maryland, USA)
Cost-Aware Combinatorial Interaction Testing (Doctoral Symposium)
Gulsen Demiroz
(Sabanci University, Turkey)
Mining Change History for Test-Plan Generation (Doctoral Symposium)
Thomas Rolfsnes
(Simula Research Laboratory, Norway)

proc time: 0.75