ISSTA 2012 – Proceedings

Preface

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)


@InProceedings{ISSTA12p1, author = {Andreas Thies and Eric Bodden}, title = {RefaFlex: Safer Refactorings for Reflective Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p12, author = {Kristen Walcott-Justice and Jason Mars and Mary Lou Soffa}, title = {THeME: A System for Testing by Hardware Monitoring Events}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p23, author = {Hongtao Yu and Zhiyuan Li}, title = {Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p34, author = {Simon Holm Jensen and Peter A. Jonsson and Anders Møller}, title = {Remedying the Eval that Men Do}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p45, author = {Nadia Alshahwan and Mark Harman}, title = {State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p67, author = {Florian Gross and Gordon Fraser and Andreas Zeller}, title = {Search-Based System Testing: High Coverage, No False Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p89, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Compositional Load Test Generation for Software Pipelines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2012}, }

Combining Model-Based and Combinatorial Testing for Effective Test Case Generation
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy)


@InProceedings{ISSTA12p100, author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella}, title = {Combining Model-Based and Combinatorial Testing for Effective Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p133, author = {Juan Caballero and Gustavo Grieco and Mark Marron and Antonio Nappa}, title = {Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p144, author = {Guowei Yang and Corina S. Păsăreanu and Sarfraz Khurshid}, title = {Memoized Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p155, author = {Jan Strejček and Marek Trtík}, title = {Abstracting Path Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p166, author = {Jaco Geldenhuys and Matthew B. Dwyer and Willem Visser}, title = {Probabilistic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p177, author = {Zachary P. Fry and Bryan Landau and Westley Weimer}, title = {A Human Study of Patch Maintainability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p188, author = {Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel}, title = {Understanding User Understanding: Determining Correctness of Generated Program Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p199, author = {Muhammad Zohaib Iqbal and Andrea Arcuri and Lionel Briand}, title = {Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p221, author = {Ke Zhai and Boni Xu and W. K. Chan and T. H. Tse}, title = {CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p232, author = {Jaeheon Yi and Tim Disney and Stephen N. Freund and Cormac Flanagan}, title = {Cooperative Types for Controlling Thread Interference in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p243, author = {Sai Zhang and Hao Lü and Michael D. Ernst}, title = {Finding Errors in Multithreaded GUI Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p254, author = {Yulei Sui and Ding Ye and Jingling Xue}, title = {Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p265, author = {Michael Pradel and Severin Heiniger and Thomas R. Gross}, title = {Static Detection of Brittle Parameter Typing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p276, author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek}, title = {Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p287, author = {Aaron Tomb and Cormac Flanagan}, title = {Detecting Inconsistencies via Universal Reachability Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p298, author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis}, title = {Residual Investigation: Predictive and Precise Bug Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2012}, }

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


@InProceedings{ISSTA12p309, author = {Jeremias Rößler and Gordon Fraser and Andreas Zeller and Alessandro Orso}, title = {Isolating Failure Causes through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }

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)


@InProceedings{ISSTA12p331, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }

proc time: 0.83