July 15th-20th, 2012, Minneapolis, MN, USA
Powered by
Conference Publishing Consulting

2012 International Symposium on Software Testing and Analysis (ISSTA), July 15–20, 2012, Minneapolis, MN, USA

ISSTA 2012 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File

Preface

Title Page
Foreword
Committees
Sponsors

Dynamic Analysis

RefaFlex: Safer Refactorings for Reflective Java Programs
Andreas Thies and Eric Bodden
(Fernunversität in Hagen, Germany; TU Darmstadt, Germany)
Article Search
THeME: A System for Testing by Hardware Monitoring Events
Kristen Walcott-Justice, Jason Mars, and Mary Lou Soffa
(University of Virginia, USA)
Article Search
Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling
Hongtao Yu and Zhiyuan Li
(Purdue University, USA)
Article Search

Web Applications

Remedying the Eval that Men Do
Simon Holm Jensen, Peter A. Jonsson, and Anders Møller
(Aarhus University, Denmark)
Article Search
State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection
Nadia Alshahwan and Mark Harman
(University College London, UK)
Article Search
ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel
(UC Santa Barbara, USA; Georgia Tech, USA)
Article Search

Test Generation

Search-Based System Testing: High Coverage, No False Alarms
Florian Gross, Gordon Fraser, and Andreas Zeller
(Saarland University, Germany)
Article Search
Swarm Testing
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr
(Oregon State University, USA; University of Utah, USA)
Article Search
Compositional Load Test Generation for Software Pipelines
Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)
Article Search
Combining Model-Based and Combinatorial Testing for Effective Test Case Generation
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy)
Article Search

Security

A First Step Towards Algorithm Plagiarism Detection
Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu
(Pennsylvania State University, USA; Samsung, South Korea)
Article Search
A Quantitative Study of Accuracy in System Call-Based Malware Detection
Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda
(EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA)
Article Search
Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities
Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa
(IMDEA Software Institute, Spain)
Article Search

Symbolic Execution

Memoized Symbolic Execution
Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid
(University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA)
Article Search
Abstracting Path Conditions
Jan Strejček and Marek Trtík
(Masaryk University, Czech Republic)
Article Search
Probabilistic Symbolic Execution
Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser
(Stellenbosch University, South Africa; University of Nebraska-Lincoln, USA)
Article Search

Empirical Studies

A Human Study of Patch Maintainability
Zachary P. Fry, Bryan Landau, and Westley Weimer
(University of Virginia, USA)
Article Search
Understanding User Understanding: Determining Correctness of Generated Program Invariants
Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel
(KAIST, South Korea; University of Nebraska-Lincoln, USA)
Article Search
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software
Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel Briand
(Simula Research Laboratory, Norway; University of Oslo, Norway; University of Luxembourg, Luxembourg)
Article Search

Concurrency

Testing Concurrent Programs to Achieve High Synchronization Coverage
Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold
(KAIST, South Korea; Georgia Tech, USA)
Article Search
CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications
Ke Zhai, Boni Xu, W. K. Chan, and T. H. Tse
(University of Hong Kong, Hong Kong; City University of Hong Kong, Hong Kong)
Article Search
Cooperative Types for Controlling Thread Interference in Java
Jaeheon Yi, Tim Disney, Stephen N. Freund, and Cormac Flanagan
(UC Santa Cruz, USA; Williams College, USA)
Article Search
Finding Errors in Multithreaded GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
Article Search

Static Analysis

Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis
Yulei Sui, Ding Ye, and Jingling Xue
(UNSW, Australia)
Article Search
Static Detection of Brittle Parameter Typing
Michael Pradel, Severin Heiniger, and Thomas R. Gross
(ETH Zurich, Switzerland)
Article Search
Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek
(University of Colorado at Boulder, USA; Google, USA)
Article Search

Bug Detection and Diagnosis

Detecting Inconsistencies via Universal Reachability Analysis
Aaron Tomb and Cormac Flanagan
(Galois, USA; UC Santa Cruz, USA)
Article Search
Residual Investigation: Predictive and Precise Bug Detection
Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis
(University of Massachusetts at Amherst, USA; University of Texas at Arlington, USA; University of Athens, Greece)
Article Search
Isolating Failure Causes through Test Case Generation
Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso
(Saarland University, Germany; Georgia Tech, USA)
Article Search

Regression Testing

Efficient Regression Testing of Ontology-Driven Systems
Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe
(Georgia Tech, USA; Emory University, USA)
Article Search
Regression Mutation Testing
Lingming Zhang, Darko Marinov, Lu Zhang, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Peking University, China)
Article Search

proc time: 0.2