Powered by
Conference Publishing Consulting

2014 International Symposium on Software Testing and Analysis (ISSTA), July 21–25, 2014, San Jose, CA, USA

ISSTA 2014 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File

Frontmatter

Title Page
Message from the Chairs
Organization

Main Research

Concurrency and Verification

Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications
Lu Zhang and Chao Wang
(Virginia Tech, USA)
Publisher's Version Article Search
Performance Regression Testing of Concurrent Classes
Michael Pradel, Markus Huggler, and Thomas R. Gross
(University of California at Berkeley, USA; ETH Zurich, Switzerland)
Publisher's Version Article Search Info
Verifying Atomicity via Data Independence
Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev
(Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland)
Publisher's Version Article Search
Verification-Aided Regression Testing
Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland)
Publisher's Version Article Search

Web Testing

Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation
Omer Tripp, Pietro Ferrara, and Marco Pistoia
(IBM Research, USA)
Publisher's Version Article Search
Virtual DOM Coverage for Effective Testing of Dynamic Web Applications
Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao
(Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA)
Publisher's Version Article Search
DOM-Based Test Adequacy Criteria for Web Applications
Mehdi Mirzaaghaei and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Article Search
Cross-Platform Feature Matching for Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)
Publisher's Version Article Search Info aec-badge-issta

Artifact Studies

Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Paul Marinescu, Petr Hosek, and Cristian Cadar
(Imperial College London, UK)
Publisher's Version Article Search Info aec-badge-issta
CoREBench: Studying Complexity of Regression Errors
Marcel Böhme and Abhik Roychoudhury
(Saarland University, Germany; National University of Singapore, Singapore)
Publisher's Version Article Search Info aec-badge-issta

Static Analyses and Transformations

ARC++: Effective Typestate and Lifetime Dependency Analysis
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri
(NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India)
Publisher's Version Article Search
A Type System for Format Strings
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Article Search Info aec-badge-issta
Scalable Detection of Missed Cross-Function Refactorings
Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo
(National University of Singapore, Singapore; Singapore Management University, Singapore)
Publisher's Version Article Search
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
Benoit Baudry, Simon Allier, and Martin Monperrus
(INRIA, France; IRISA, France; University of Lille, France)
Publisher's Version Article Search

Test Selection and Reduction

Using Test Case Reduction and Prioritization to Improve Symbolic Execution
Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour
(Oregon State University, USA)
Publisher's Version Article Search
FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow
Arnaud Gotlieb and Dusica Marijan
(Simula Research Laboratory, Norway)
Publisher's Version Article Search
Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria
Nadia Alshahwan and Mark Harman
(University College London, UK)
Publisher's Version Article Search
Dodona: Automated Oracle Data Set Selection
Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel
(University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA)
Publisher's Version Article Search

Localization and Repair

CrashLocator: Locating Crashing Faults Based on Crash Stacks
Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Microsoft Research, China)
Publisher's Version Article Search
Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun
(National University of Singapore, Singapore; University of California at Davis, USA)
Publisher's Version Article Search
Semantic Differential Repair for Input Validation and Sanitization
Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Article Search aec-badge-issta
Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability
Yiyan Lin and Sandeep S. Kulkarni
(Michigan State University, USA)
Publisher's Version Article Search

Security

Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform
Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin
(Syracuse University, USA; Rome Laboratory, USA)
Publisher's Version Article Search aec-badge-issta
Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach
Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan
(University of Luxembourg, Luxembourg; University College London, UK)
Publisher's Version Article Search

UI Testing

Reducing GUI Test Suites via Program Slicing
Stephan Arlt, Andreas Podelski, and Martin Wehrle
(University of Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland)
Publisher's Version Article Search
SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications
Adrian Nistor and Lenin Ravindranath
(Chapman University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version Article Search
A Variability-Based Testing Approach for Synthesizing Video Sequences
José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides
(INRIA, France; University of Rennes 1, France; University of Seville, Spain)
Publisher's Version Article Search
Robust Test Automation using Contextual Clues
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra
(IBM Research, India; Microsoft, USA; Samsung Research, USA)
Publisher's Version Article Search

Efficiency and Optimizations

Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States
René Just, Michael D. Ernst, and Gordon Fraser
(University of Washington, USA; University of Sheffield, UK)
Publisher's Version Article Search
Lightweight Automated Detection of Unsafe Information Leakage via Exceptions
Benwen Zhang and James Clause
(University of Delaware, USA)
Publisher's Version Article Search
Integrated Energy-Directed Test Suite Optimization
Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond
(University of Southern California, USA; University of Delaware, USA)
Publisher's Version Article Search
Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Shiva Nejati and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version Article Search

Generation and Propagation

Feedback-Driven Dynamic Invariant Discovery
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid
(University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA)
Publisher's Version Article Search
Link: Exploiting the Web of Data to Generate Test Inputs
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Publisher's Version Article Search
Empirically Revisiting the Test Independence Assumption
Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin
(University of Washington, USA)
Publisher's Version Article Search aec-badge-issta
An Empirical Study of Injected versus Actual Interface Errors
Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri
(Federico II University of Naples, Italy; TU Darmstadt, Germany)
Publisher's Version Article Search

Tool Demonstrations

Legend: An Agile DSL Toolset for Web Acceptance Testing
Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack
(Ultimate Software, USA)
Publisher's Version Article Search Video
ProCrawl: Mining Test Models from Multi-user Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller
(SAP, Germany; Saarland University, Germany)
Publisher's Version Article Search
X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)
Publisher's Version Article Search Video Info
Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution
Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri
(Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway)
Publisher's Version Article Search
Canalyze: A Static Bug-Finding Tool for C Programs
Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang
(University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
Publisher's Version Article Search Video Info
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce
(Oregon State University, USA)
Publisher's Version Article Search
The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java
René Just
(University of Washington, USA)
Publisher's Version Article Search
Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs
René Just, Darioush Jalali, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Article Search
A Format String Checker for Java
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Article Search Info
Constructing Coding Duels in Pex4Fun and Code Hunt
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop
(Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search

Doctoral Symposium

Reusing Constraint Proofs for Scalable Program Analysis
Meixian Chen
(University of Lugano, Switzerland)
Publisher's Version Article Search
Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications
Shabnam Mirshokraie
(University of British Columbia, Canada)
Publisher's Version Article Search
Efficient Statistical Debugging via Hierarchical Instrumentation
Zhiqiang Zuo
(National University of Singapore, Singapore)
Publisher's Version Article Search

proc time: 0.36