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 ParninORCID logo, and Alessandro OrsoORCID logo
(Georgia Tech, USA; North Carolina State University, USA)
Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors
Sai Zhang and Michael D. ErnstORCID logo
(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 RinardORCID logo
(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 ORCID logo, 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 ORCID logo
(Peking University, China)
Systematic Execution of Android Test Suites in Adverse Conditions
Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders MøllerORCID logo
(Aarhus University, Denmark)
Info aec-badge-issta
DLint: Dynamically Checking Bad Coding Practices in JavaScript
Liang Gong, Michael Pradel ORCID logo, 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 DolbyORCID logo
(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 AikenORCID logo
(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 ORCID logo, Wei Le ORCID logo, Xiaohong Li ORCID logo, 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 WangORCID logo, 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 MarinovORCID logo
(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 MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA)
Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation
Michael G. Epitropakis, Shin Yoo, Mark HarmanORCID logo, 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 ORCID logo, 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 ORCID logo, Mark HarmanORCID logo, Yue Jia, Alexandru Marginean, and Justyna Petke ORCID logo
(University College London, UK)
Info aec-badge-issta
Automating Performance Bottleneck Detection using Search-Based Application Profiling
Du Shen, Qi Luo, Denys PoshyvanykORCID logo, 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 ORCID logo, 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èORCID logo
(University of Lugano, Switzerland; University of Milano-Bicocca, Italy)

Random Testing

Feedback-Controlled Random Test Generation
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki IshikawaORCID logo, 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 ORCID logo, 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 ORCID logo
(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 BrunORCID logo, 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 ORCID logo, Arda Goknil, Lionel BriandORCID logo, 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 ORCID logo, Shaukat AliORCID logo, 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 ORCID logo
(Columbia University, USA)
Info
TSTL: A Language and Tool for Testing (Demo)
Alex GroceORCID logo, 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 ORCID logo
(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.87