ISSTA 2012
2012 International Symposium on Software Testing and Analysis (ISSTA)
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
Article: issta12foreword-fm000-p (type: Frontmatter) doi:
Foreword
Article: issta12foreword-fm001-p (type: Frontmatter) doi:
Committees
Article: issta12foreword-fm002-p (type: Frontmatter) doi:
Sponsors
Article: issta12foreword-fm003-p (type: Frontmatter) doi:

Dynamic Analysis
Tue, Jul 17, 11:00 - 12:30

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

Web Applications
Tue, Jul 17, 14:00 - 15:30

Remedying the Eval that Men Do
Simon Holm Jensen, Peter A. Jonsson, and Anders Møller
(Aarhus University, Denmark)
Article: issta12full-id25-p (type: Full Paper) doi:
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: issta12full-id74-p (type: Full Paper) doi:
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: issta12full-id102-p (type: Full Paper) doi:

Test Generation
Tue, Jul 17, 16:00 - 18:00

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

Security
Wed, Jul 18, 09:00 - 10:30

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: issta12full-id17-p (type: Full Paper) doi:
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: issta12full-id32-p (type: Full Paper) doi:
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: issta12full-id54-p (type: Full Paper) doi:

Symbolic Execution
Wed, Jul 18, 11:00 - 12:30

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: issta12full-id87-p (type: Full Paper) doi:
Abstracting Path Conditions
Jan Strejček and Marek Trtík
(Masaryk University, Czech Republic)
Article: issta12full-id27-p (type: Full Paper) doi:
Probabilistic Symbolic Execution
Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser
(Stellenbosch University, South Africa; University of Nebraska-Lincoln, USA)
Article: issta12full-id100-p (type: Full Paper) doi:

Empirical Studies
Wed, Jul 18, 14:00 - 15:30

A Human Study of Patch Maintainability
Zachary P. Fry, Bryan Landau, and Westley Weimer
(University of Virginia, USA)
Article: issta12full-id28-p (type: Full Paper) doi:
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: issta12full-id80-p (type: Full Paper) doi:
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: issta12full-id97-p (type: Full Paper) doi:

Concurrency
Wed, Jul 18, 16:00 - 18:00

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: issta12full-id99-p (type: Full Paper) doi:
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: issta12full-id106-p (type: Full Paper) doi:
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: issta12full-id48-p (type: Full Paper) doi:
Finding Errors in Multithreaded GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
Article: issta12full-id90-p (type: Full Paper) doi:

Static Analysis
Thu, Jul 19, 11:00 - 12:30

Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis
Yulei Sui, Ding Ye, and Jingling Xue
(UNSW, Australia)
Article: issta12full-id96-p (type: Full Paper) doi:
Static Detection of Brittle Parameter Typing
Michael Pradel, Severin Heiniger, and Thomas R. Gross
(ETH Zurich, Switzerland)
Article: issta12full-id41-p (type: Full Paper) doi:
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: issta12full-id93-p (type: Full Paper) doi:

Bug Detection and Diagnosis
Thu, Jul 19, 14:00 - 15:30

Detecting Inconsistencies via Universal Reachability Analysis
Aaron Tomb and Cormac Flanagan
(Galois, USA; UC Santa Cruz, USA)
Article: issta12full-id36-p (type: Full Paper) doi:
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: issta12full-id83-p (type: Full Paper) doi:
Isolating Failure Causes through Test Case Generation
Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso
(Saarland University, Germany; Georgia Tech, USA)
Article: issta12full-id43-p (type: Full Paper) doi:

Regression Testing
Thu, Jul 19, 16:00 - 17:00

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: issta12full-id62-p (type: Full Paper) doi:
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: issta12full-id101-p (type: Full Paper) doi:

proc time: 0.07