BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ISSTA 2014 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T083000 DTEND;TZID=America/Los_Angeles:20140723T083000 SUMMARY:ISSTA: Message from the Chairs LOCATION:Almaden Ballroom DESCRIPTION:Message from the Chairs (Chair: Corina Pasareanu\; Darko Marino v)\n\n\n\nIt is our great pleasure to welcome you to ISSTA 2014\, the 23rd International Symposium on Software Testing and Analysis\, to be held in Sa n Jose\, California\, on July 21-25\, 2014. ISSTA is the leading research s ymposium on software testing and analysis\, bringing together academics\, i ndustrial researchers\, and practitioners to exchange new ideas\, problems\ , and experience on how to analyze and test software systems.\n UID:Chee1Eeph6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T103000 DTEND;TZID=America/Los_Angeles:20140723T103000 SUMMARY:ISSTA: Concurrency and Verification LOCATION:Almaden Ballroom DESCRIPTION:Concurrency and Verification (Chair: Sarfraz Khurshid)\n\nRunti me Prevention of Concurrency Related Type-State Violations in Multithreaded Applications\n\n\n\nPerformance Regression Testing of Concurrent Classes\n \n\n\nVerifying Atomicity via Data Independence\n\n\n\nVerification-Aided R egression Testing\n\n\n\n UID:ahtej3Do7p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T133000 DTEND;TZID=America/Los_Angeles:20140723T133000 SUMMARY:ISSTA: Web Testing LOCATION:Almaden Ballroom DESCRIPTION:Web Testing (Chair: Gregg Rothermel)\n\nHybrid Security Analysi s of Web JavaScript Code via Dynamic Partial Evaluation\n\n\n\nVirtual DOM Coverage for Effective Testing of Dynamic Web Applications\n\n\n\nDOM-Based Test Adequacy Criteria for Web Applications\n\n\n\nCross-Platform Feature Matching for Web Applications\n\n\n\n UID:eesh7Tai8k ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T154000 DTEND;TZID=America/Los_Angeles:20140723T154000 SUMMARY:ISSTA: Artifact Studies LOCATION:Almaden Ballroom DESCRIPTION:Artifact Studies (Chair: Milos Gligoric)\n\nCovrig: A Framework for the Analysis of Code\, Test\, and Coverage Evolution in Real Software\ n\n\n\nCoREBench: Studying Complexity of Regression Errors\n\n\n\n UID:pai5eige8B ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T103000 DTEND;TZID=America/Los_Angeles:20140724T103000 SUMMARY:ISSTA: Static Analyses and Transformations LOCATION:Almaden Ballroom DESCRIPTION:Static Analyses and Transformations (Chair: Satish Chandra)\n\n ARC++: Effective Typestate and Lifetime Dependency Analysis\n\n\n\nA Type S ystem for Format Strings\n\n\n\nScalable Detection of Missed Cross-Function Refactorings\n\n\n\nTailored Source Code Transformations to Synthesize Com putationally Diverse Program Variants\n\n\n\n UID:Phiekooze4 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T133000 DTEND;TZID=America/Los_Angeles:20140724T133000 SUMMARY:ISSTA: Test Selection and Reduction LOCATION:Almaden Ballroom DESCRIPTION:Test Selection and Reduction (Chair: Neha Rungta)\n\nUsing Test Case Reduction and Prioritization to Improve Symbolic Execution\n\n\n\nFLO WER: Optimal Test Suite Reduction as a Network Maximum Flow\n\n\n\nCoverage and Fault Detection of the Output-Uniqueness Test Selection Criteria\n\n\n \nDodona: Automated Oracle Data Set Selection\n\n\n\n UID:eip2Joh4Au ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T154000 DTEND;TZID=America/Los_Angeles:20140724T154000 SUMMARY:ISSTA: Localization and Repair LOCATION:Almaden Ballroom DESCRIPTION:Localization and Repair (Chair: Indradeep Ghosh)\n\nCrashLocato r: Locating Crashing Faults Based on Crash Stacks\n\n\n\nEfficient Predicat ed Bug Signature Mining via Hierarchical Instrumentation\n\n\n\nSemantic Di fferential Repair for Input Validation and Sanitization\n\n\n\nAutomatic Re pair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satis fiability\n\n\n\n UID:oiNgahd5iw ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T092000 DTEND;TZID=America/Los_Angeles:20140725T092000 SUMMARY:ISSTA: Security LOCATION:Almaden Ballroom DESCRIPTION:Security (Chair: Alex Orso)\n\nMake It Work\, Make It Right\, M ake It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analys is Platform\n\n\n\nAutomated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach\n\n\n\n UID:yeihae2Uga ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T103000 DTEND;TZID=America/Los_Angeles:20140725T103000 SUMMARY:ISSTA: UI Testing LOCATION:Almaden Ballroom DESCRIPTION:UI Testing (Chair: Andreas Zeller)\n\nReducing GUI Test Suites via Program Slicing\n\n\n\nSunCat: Helping Developers Understand and Predic t Performance Problems in Smartphone Applications\n\n\n\nA Variability-Base d Testing Approach for Synthesizing Video Sequences\n\n\n\nRobust Test Auto mation using Contextual Clues\n\n\n\n UID:Quu9ga2et7 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T133000 DTEND;TZID=America/Los_Angeles:20140725T133000 SUMMARY:ISSTA: Efficiency and Optimizations LOCATION:Almaden Ballroom DESCRIPTION:Efficiency and Optimizations (Chair: Zhendong Su)\n\nEfficient Mutation Analysis by Propagating and Partitioning Infected Execution States \n\n\n\nLightweight Automated Detection of Unsafe Information Leakage via E xceptions\n\n\n\nIntegrated Energy-Directed Test Suite Optimization\n\n\n\n Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constrai nts Using Search\n\n\n\n UID:Boog5zao6u ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T154000 DTEND;TZID=America/Los_Angeles:20140725T154000 SUMMARY:ISSTA: Generation and Propagation LOCATION:Almaden Ballroom DESCRIPTION:Generation and Propagation (Chair: Oksana Tkachuk)\n\nFeedback- Driven Dynamic Invariant Discovery\n\n\n\nLink: Exploiting the Web of Data to Generate Test Inputs\n\n\n\nEmpirically Revisiting the Test Independence Assumption\n\n\n\nAn Empirical Study of Injected versus Actual Interface E rrors\n\n\n\n UID:miisahch7U ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T180000 DTEND;TZID=America/Los_Angeles:20140723T180000 SUMMARY:ISSTA: Tool Demonstrations LOCATION:Winchester Room DESCRIPTION:Tool Demonstrations\n\nLegend: An Agile DSL Toolset for Web Acc eptance Testing\n\n\n\nProCrawl: Mining Test Models from Multi-user Web App lications\n\n\n\nX-PERT: A Web Application Testing Tool for Cross-Browser I nconsistency Detection\n\n\n\nExtending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution\n\n\n\nCanalyze: A Static Bug-Finding T ool for C Programs\n\n\n\nMuCheck: An Extensible Tool for Mutation Testing of Haskell Programs\n\n\n\nThe Major Mutation Framework: Efficient and Scal able Mutation Analysis for Java\n\n\n\nDefects4J: A Database of Existing Fa ults to Enable Controlled Testing Studies for Java Programs\n\n\n\nA Format String Checker for Java\n\n\n\nConstructing Coding Duels in Pex4Fun and Co de Hunt\n\n\n\n UID:phoh9Nie1p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140722T112000 DTEND;TZID=America/Los_Angeles:20140722T112000 SUMMARY:ISSTA: Doctoral Symposium LOCATION:Pacific Room DESCRIPTION:Doctoral Symposium\n\nReusing Constraint Proofs for Scalable Pr ogram Analysis\n\n\n\nEffective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications\n\n\n\nEfficient Statistical Debugging v ia Hierarchical Instrumentation\n\n\n\n UID:Ohchah6iew ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140722T103000 DTEND;TZID=America/Los_Angeles:20140722T103000 SUMMARY:Doctoral Symposium Keynote LOCATION:Pacific Room DESCRIPTION:Doctoral Symposium Keynote\n\n UID:chie3Ahcoo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T084000 DTEND;TZID=America/Los_Angeles:20140723T084000 SUMMARY:Dynamic Analyses for Reliable Concurrency (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:Dynamic Analyses for Reliable Concurrency (Keynote) (Chair: Dar ko Marinov)\n\n UID:OoCh7geyei ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T083000 DTEND;TZID=America/Los_Angeles:20140724T083000 SUMMARY:Practical Aspects of Testing Your Code as You Develop It (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:Practical Aspects of Testing Your Code as You Develop It (Keyno te) (Chair: Corina Pasareanu)\n\n UID:pheec4Ua0v ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T083000 DTEND;TZID=America/Los_Angeles:20140725T083000 SUMMARY:DARPA's Cyber Grand Challenge (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:DARPA's Cyber Grand Challenge (Keynote) (Chair: Alex Orso)\n\n UID:chai2AiMah ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T163000 DTEND;TZID=America/Los_Angeles:20140723T163000 SUMMARY:Lightning Talks 1: ISSTA Demo LOCATION:Almaden Ballroom DESCRIPTION:Lightning Talks 1: ISSTA Demo (Chair: Indradeep Ghosh\; John Pe nix)\n\n UID:hai4Foh3ah ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T165500 DTEND;TZID=America/Los_Angeles:20140723T165500 SUMMARY:Lightning Talks 2: SPIN short papers LOCATION:Almaden Ballroom DESCRIPTION:Lightning Talks 2: SPIN short papers (Chair: Neha Rungta\; Oksa na Tkachuk)\n\nAutomatic Handling of Native Methods in Java PathFinder. Nas taran Shafiei and Franck van Breugel\n\n CTL+FO Verification as Constraint Solving. Tewodros A. Beyene\, Marc Brockschmidt\, and Andrey Rybalchenko\n\ n Quantifying Information Leaks using Reliability Analysis. Quoc-Sang Phan\ , Pasquale Malacaria\, Corina S. Păsăreanu\, and Marcelo d'Amorim\n\n Towar d Parameterized Verification of Synchronous Distributed Applications. Sagar Chaki and James Edmondson\n\n Towards a Test Automation Framework for Allo y. Allison Sullivan\, Razieh Nokhbeh Zaeem\, Sarfraz Khurshid\, and Darko M arinov\n\n SpinCause: A Tool for Causality Checking. Florian Leitner-Fische r and Stefan Leue\n\n Verige: Verification with Invariant Generation Engine . Nicolas Latorre\, Francesco Alberti\, and Natasha Sharygina\n\n SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker. Zmago Brezočnik\, Boštjan Vlaovič\, and Aleksander Vre že\n\n TravMC2: Higher-Order Model Checking for Alternating Parity Tree Aut omata. Robin P. Neatherway and C.-H. Luke Ong\n\n Unit Testing for SPIN: ru nspin and parsepan. Theo C. Ruys\n UID:wahShahl0o ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T121000 DTEND;TZID=America/Los_Angeles:20140723T121000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:QuaB0yahl5 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T121000 DTEND;TZID=America/Los_Angeles:20140724T121000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:eSuphik5za ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T121000 DTEND;TZID=America/Los_Angeles:20140725T121000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:Bahx7rai0j ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T100000 DTEND;TZID=America/Los_Angeles:20140723T100000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:eiSh5efais ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T100000 DTEND;TZID=America/Los_Angeles:20140724T100000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:eh6yeeth8Y ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T101000 DTEND;TZID=America/Los_Angeles:20140725T101000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:Phi4jooseg ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T151000 DTEND;TZID=America/Los_Angeles:20140723T151000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:euNg2aeJ3K ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T151000 DTEND;TZID=America/Los_Angeles:20140724T151000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:jee2Ic0uJ0 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T151000 DTEND;TZID=America/Los_Angeles:20140725T151000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:OhZoh8mi3v ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140723T180000 DTEND;TZID=America/Los_Angeles:20140723T180000 SUMMARY:Reception Posters/Demos LOCATION:Winchester Room DESCRIPTION:Reception Posters/Demos\n\n UID:phoh9Nie1p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140724T180000 DTEND;TZID=America/Los_Angeles:20140724T180000 SUMMARY:Banquet LOCATION:Tech Museum DESCRIPTION:Banquet\n\n201 S Market St\, San Jose\n UID:eiphohR6ek ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20200405T063332Z DTSTAMP:20200405T063332Z DTSTART;TZID=America/Los_Angeles:20140725T172000 DTEND;TZID=America/Los_Angeles:20140725T172000 SUMMARY:Closing LOCATION:Almaden Ballroom DESCRIPTION:Closing (Chair: Corina Pasareanu\; Michal Young\; Tao Xie)\n\n UID:oob3Do7in6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR