Accepted Papers

Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling
Hongtao Yu and Zhiyuan Li
(Purdue University, USA)

RefaFlex: Safer Refactorings for Reflective Java Programs
Andreas Thies and Eric Bodden
(Fernunversität in Hagen, Germany; TU Darmstadt, Germany)

THeME: A System for Testing by Hardware Monitoring Events
Kristen Walcott-Justice, Jason Mars, and Mary Lou Soffa
(University of Virginia, USA)

A First Step Towards Algorithm Plagiarism Detection
Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu
(Pennsylvania State University, USA; Samsung, Korea)

Remedying the Eval that Men Do
Simon Holm Jensen, Peter A. Jonsson, and Anders Møller
(Aarhus University, Denmark)

Abstracting Path Conditions
Jan Strejček and Marek Trtík
(Masaryk University, Czech Republic)

A Human Study of Patch Maintainability
Zachary P Fry, Bryan Landau, and Westley Weimer
(University of Virginia, USA)

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)

Detecting Inconsistencies via Universal Reachability Analysis
Aaron Tomb and Cormac Flanagan
(Galois, USA; UC Santa Cruz, USA)

Static Detection of Brittle Parameter Typing
Michael Pradel, Severin Heiniger, and Thomas Gross
(ETH Zurich, Switzerland)

Search-Based System Testing: High Coverage, No False Alarms
Florian Gross, Gordon Fraser, and Andreas Zeller
(Saarland University, Germany)

Isolating Failure Causes through Test Case Generation
Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso
(Saarland University, Germany; Georgia Tech, USA)

Cooperative Types for Controlling Thread Interference in Java
Jaeheon Yi, Tim Disney, Stephen Freund, and Cormac Flanagan
(UC Santa Cruz, USA; Williams College, USA)

Combining Model-Based and Combinatorial Testing for Effective Test Case Generation
Cu Duy Nguyen, Alessandro Marchetto, and Paolo Tonella
(FBK, Italy)

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; Universidad de Rosario, Argentina)

Swarm Testing
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr
(Oregon State University, USA; University of Utah, USA)

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 Sham Navathe
(Georgia Tech, USA; Emory University, USA)

State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection
Nadia Alshahwan and Mark Harman
(University College London, UK)

Understanding User Understanding: Determining Correctness of Generated Program Invariants
Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel
(KAIST, Korea; University of Nebraska-Lincoln, USA)

Residual Investigation: Predictive and Precise Bug Detection
Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis
(University of Massachusetts, USA; University of Texas at Arlington, USA; University of Athens, Greece)

Memoized Symbolic Execution
Guowei Yang, Corina Pasareanu, and Sarfraz Khurshid
(University of Texas at Austin, USA; CMU, USA; NASA Ames, USA)

Compositional Load Test Generation for Software Pipelines
Pingyu Zhang, Sebastian Elbaum, and Matthew Dwyer
(University of Nebraska-Lincoln, USA)

Finding Errors in Multithreaded GUI Applications
Sai Zhang, Hao Lu, and Michael D. Ernst
(University of Washington, USA)

Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy Siek
(University of Colorado at Boulder, USA; Google, USA)

Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis
Yulei Sui, Ding Ye, and Jingling Xue
(University of New South Wales, Australia)

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; Schlumberger, Norway; University of Luxembourg, Luxembourg)

Testing Concurrent Programs to Achieve High Synchronization Coverage
Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold
(KAIST, Korea; Georgia Tech, USA)

Probabilistic Symbolic Execution
Jaco Geldenhuys, Matthew Dwyer, and Willem Visser
(Stellenbosch University, South Africa; University of Nebraska, USA)

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)

ViewPoints: Differential String Analysis for Discovering Client and Server-Side Input Validation Inconsistencies
Muath Alkhalaf, Tevfik Bultan, Shauvik Roy Choudhary, Mattia Fazzini, Alessandro Orso, and Christopher Kruegel
(UC Santa Barbara, USA; Georgia Tech, USA)

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)