BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ISSTA 2012 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120717T084500 DTEND;TZID=America/Chicago:20120717T090000 SUMMARY:Opening LOCATION: DESCRIPTION:Opening (Chair: Mats Heimdahl / Zhendong Su)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120719T170000 DTEND;TZID=America/Chicago:20120719T171500 SUMMARY:Closing LOCATION: DESCRIPTION:Closing (Chair: Mats Heimdahl / Mauro Pezzè)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120717T090000 DTEND;TZID=America/Chicago:20120717T103000 SUMMARY:Keynote 1 LOCATION: DESCRIPTION:Keynote 1 (Chair: Zhendong Su)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120719T090000 DTEND;TZID=America/Chicago:20120719T103000 SUMMARY:Keynote 2 LOCATION: DESCRIPTION:Keynote 2 (Chair: Mats Heimdahl)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120717T110000 DTEND;TZID=America/Chicago:20120717T123000 SUMMARY:Dynamic Analysis LOCATION: DESCRIPTION:Dynamic Analysis\n\nRefaFlex: Safer Refactorings for Reflective Java Programs\nAndreas Thies and Eric Bodden\nFernunversität in Hagen\, Ge rmany\; TU Darmstadt\, Germany\n\nTHeME: A System for Testing by Hardware M onitoring Events\nKristen Walcott-Justice\, Jason Mars\, and Mary Lou Soffa \nUniversity of Virginia\, USA\n\nMulti-slicing: A Compiler-Supported Paral lel Approach to Data Dependence Profiling\nHongtao Yu and Zhiyuan Li\nPurdu e University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120717T140000 DTEND;TZID=America/Chicago:20120717T153000 SUMMARY:Web Applications LOCATION: DESCRIPTION:Web Applications\n\nRemedying the Eval that Men Do\nSimon Holm Jensen\, Peter A. Jonsson\, and Anders Møller\nAarhus University\, Denmark\ n\nState Aware Test Case Regeneration for Improving Web Application Test Su ite Coverage and Fault Detection\nNadia Alshahwan and Mark Harman\nUniversi ty College London\, UK\n\nViewPoints: Differential String Analysis for Disc overing Client- and Server-Side Input Validation Inconsistencies\nMuath Alk halaf\, Shauvik Roy Choudhary\, Mattia Fazzini\, Tevfik Bultan\, Alessandro Orso\, and Christopher Kruegel\nUC Santa Barbara\, USA\; Georgia Tech\, US A\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120717T160000 DTEND;TZID=America/Chicago:20120717T180000 SUMMARY:Test Generation LOCATION: DESCRIPTION:Test Generation\n\nSearch-Based System Testing: High Coverage\, No False Alarms\nFlorian Gross\, Gordon Fraser\, and Andreas Zeller\nSaarl and University\, Germany\n\nSwarm Testing\nAlex Groce\, Chaoqiang Zhang\, E ric Eide\, Yang Chen\, and John Regehr\nOregon State University\, USA\; Uni versity of Utah\, USA\n\nCompositional Load Test Generation for Software Pi pelines\nPingyu Zhang\, Sebastian Elbaum\, and Matthew B. Dwyer\nUniversity of Nebraska-Lincoln\, USA\n\nCombining Model-Based and Combinatorial Testi ng for Effective Test Case Generation\nCu D. Nguyen\, Alessandro Marchetto\ , and Paolo Tonella\nFondazione Bruno Kessler\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120718T090000 DTEND;TZID=America/Chicago:20120718T103000 SUMMARY:Security LOCATION: DESCRIPTION:Security\n\nA First Step Towards Algorithm Plagiarism Detection \nFangfang Zhang\, Yoon-Chan Jhi\, Dinghao Wu\, Peng Liu\, and Sencun Zhu\n Pennsylvania State University\, USA\; Samsung\, South Korea\n\nA Quantitati ve Study of Accuracy in System Call-Based Malware Detection\nDavide Canali\ , Andrea Lanzi\, Davide Balzarotti\, Christopher Kruegel\, Mihai Christodor escu\, and Engin Kirda\nEURECOM\, France\; UC Santa Barbara\, USA\; IBM Res earch\, USA\; Northeastern University\, USA\n\nUndangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities\nJuan Caballero\, Gustavo Grieco\, Mark Marron\, and Antonio Nappa\nIMDEA Softwar e Institute\, Spain\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120718T110000 DTEND;TZID=America/Chicago:20120718T123000 SUMMARY:Symbolic Execution LOCATION: DESCRIPTION:Symbolic Execution\n\nMemoized Symbolic Execution\nGuowei Yang\ , Corina S. Păsăreanu\, and Sarfraz Khurshid\nUniversity of Texas at Austin \, USA\; CMU\, USA\; NASA Ames Research Center\, USA\n\nAbstracting Path Co nditions\nJan Strejček and Marek Trtík\nMasaryk University\, Czech Republic \n\nProbabilistic Symbolic Execution\nJaco Geldenhuys\, Matthew B. Dwyer\, and Willem Visser\nStellenbosch University\, South Africa\; University of N ebraska-Lincoln\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120718T140000 DTEND;TZID=America/Chicago:20120718T153000 SUMMARY:Empirical Studies LOCATION: DESCRIPTION:Empirical Studies\n\nA Human Study of Patch Maintainability\nZa chary P. Fry\, Bryan Landau\, and Westley Weimer\nUniversity of Virginia\, USA\n\nUnderstanding User Understanding: Determining Correctness of Generat ed Program Invariants\nMatt Staats\, Shin Hong\, Moonzoo Kim\, and Gregg Ro thermel\nKAIST\, South Korea\; University of Nebraska-Lincoln\, USA\n\nEmpi rical Investigation of Search Algorithms for Environment Model-Based Testin g of Real-Time Embedded Software\nMuhammad Zohaib Iqbal\, Andrea Arcuri\, a nd Lionel Briand\nSimula Research Laboratory\, Norway\; University of Oslo\ , Norway\; University of Luxembourg\, Luxembourg\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120718T160000 DTEND;TZID=America/Chicago:20120718T180000 SUMMARY:Concurrency LOCATION: DESCRIPTION:Concurrency\n\nTesting Concurrent Programs to Achieve High Sync hronization Coverage\nShin Hong\, Jaemin Ahn\, Sangmin Park\, Moonzoo Kim\, and Mary Jean Harrold\nKAIST\, South Korea\; Georgia Tech\, USA\n\nCARISMA : a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications\nKe Zhai\, Boni Xu\, W. K. Chan\, and T. H. Tse\nUniversity of Hong Kong\, Hong Kong\; City University of Hong Kong\, H ong Kong\n\nCooperative Types for Controlling Thread Interference in Java\n Jaeheon Yi\, Tim Disney\, Stephen N. Freund\, and Cormac Flanagan\nUC Santa Cruz\, USA\; Williams College\, USA\n\nFinding Errors in Multithreaded GUI Applications\nSai Zhang\, Hao Lü\, and Michael D. Ernst\nUniversity of Was hington\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120719T110000 DTEND;TZID=America/Chicago:20120719T123000 SUMMARY:Static Analysis LOCATION: DESCRIPTION:Static Analysis\n\nStatic Memory Leak Detection Using Full-Spar se Value-Flow Analysis\nYulei Sui\, Ding Ye\, and Jingling Xue\nUNSW\, Aust ralia\n\nStatic Detection of Brittle Parameter Typing\nMichael Pradel\, Sev erin Heiniger\, and Thomas R. Gross\nETH Zurich\, Switzerland\n\nMeasuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved P rograms Say\nDevin Coughlin\, Bor-Yuh Evan Chang\, Amer Diwan\, and Jeremy G. Siek\nUniversity of Colorado at Boulder\, USA\; Google\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120719T140000 DTEND;TZID=America/Chicago:20120719T153000 SUMMARY:Bug Detection and Diagnosis LOCATION: DESCRIPTION:Bug Detection and Diagnosis\n\nDetecting Inconsistencies via Un iversal Reachability Analysis\nAaron Tomb and Cormac Flanagan\nGalois\, USA \; UC Santa Cruz\, USA\n\nResidual Investigation: Predictive and Precise Bu g Detection\nKaituo Li\, Christoph Reichenbach\, Christoph Csallner\, and Y annis Smaragdakis\nUniversity of Massachusetts at Amherst\, USA\; Universit y of Texas at Arlington\, USA\; University of Athens\, Greece\n\nIsolating Failure Causes through Test Case Generation\nJeremias Rößler\, Gordon Frase r\, Andreas Zeller\, and Alessandro Orso\nSaarland University\, Germany\; G eorgia Tech\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Chicago:20120719T160000 DTEND;TZID=America/Chicago:20120719T170000 SUMMARY:Regression Testing LOCATION: DESCRIPTION:Regression Testing\n\nEfficient Regression Testing of Ontology- Driven Systems\nMijung Kim\, Jake Cobb\, Mary Jean Harrold\, Tahsin Kurc\, Alessandro Orso\, Joel Saltz\, Andrew Post\, Kunal Malhotra\, and Shamkant B. Navathe\nGeorgia Tech\, USA\; Emory University\, USA\n\nRegression Mutat ion Testing\nLingming Zhang\, Darko Marinov\, Lu Zhang\, and Sarfraz Khursh id\nUniversity of Texas at Austin\, USA\; University of Illinois at Urbana- Champaign\, USA\; Peking University\, China\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR