Write a Blog >>
VenueUniversity of California, Santa Barbara
Room nameBren 1414
Floor1
Room number1414
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

08:45 - 09:00: ISSTA 2017 OpeningAgenda at Bren 1414
08:45 - 09:00
Day opening
ISSTA 2017 Opening
Agenda
Tevfik BultanUniversity of California, Santa Barbara, Koushik SenUniversity of California, Berkeley
09:00 - 10:00: Monday KeynoteKeynotes at Bren 1414
Chair(s): Koushik SenUniversity of California, Berkeley
09:00 - 10:00
Talk
Keynote Talk: Advances and Challenges in Program Synthesis
Keynotes
10:30 - 12:10: Improving TestingTechnical Papers at Bren 1414
Chair(s): Cristian CadarImperial College London
10:30 - 10:55
Talk
One Test to Rule Them All
Technical Papers
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Kevin Kellar
DOI
10:55 - 11:20
Talk
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Technical Papers
Helge SpiekerSimula Research Laboratory, Norway, Arnaud GotliebSimula Research Laboratory, Norway, Dusica MarijanSimula, Morten MossigeUniversity of Stavanger, Norway / ABB Robotics, Norway
DOI
11:20 - 11:45
Talk
PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Technical Papers
Shaikh MostafaUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Tao XieUniversity of Illinois at Urbana-Champaign
DOI
11:45 - 12:10
Talk
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Technical Papers
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
13:45 - 14:35: TestingTechnical Papers at Bren 1414
Chair(s): Alex GroceNorthern Arizona University
13:45 - 14:10
Talk
Targeted Property-Based Testing
Technical Papers
DOI
14:10 - 14:35
Talk
Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
Technical Papers
Ermira DakaUniversity of Sheffield, UK, José Miguel RojasUniversity of Sheffield, Gordon FraserUniversity of Sheffield
DOI
14:35 - 15:05: Lightning TalksDemonstrations at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
14:35 - 14:37
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
14:37 - 14:39
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
14:39 - 14:41
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
14:41 - 14:43
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
14:43 - 14:45
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
14:45 - 14:47
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
14:47 - 14:49
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
14:49 - 14:52
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
14:52 - 14:54
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
14:54 - 14:56
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
14:56 - 14:58
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
14:58 - 15:00
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:00 - 15:02
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:02 - 15:04
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
16:00 - 17:15: Symbolic ExecutionTechnical Papers at Bren 1414
Chair(s): Gordon FraserUniversity of Sheffield
16:00 - 16:25
Talk
Accelerating Array Constraints in Symbolic Execution
Technical Papers
David Mitchel PerryPurdue University, Andrea MattavelliImperial College London, Xiangyu ZhangPurdue University, Cristian CadarImperial College London
DOI
16:25 - 16:50
Talk
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
Technical Papers
Wei SunUniversity of Nebraska-Lincoln, USA, Lisong XuUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
16:50 - 17:15
Talk
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Technical Papers
Pietro BraioneUniversity of Milano-Bicocca, Italy, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzèUniversity of Milano-Bicocca, Italy
DOI

Tue 11 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Tuesday KeynoteKeynotes at Bren 1414
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
09:00 - 10:00
Talk
Keynote Talk: Finding Vulnerabilities in Embedded Software
Keynotes
Christopher KruegelUniversity of California, Santa Barbara
10:30 - 11:45: ConcurrencyTechnical Papers at Bren 1414
Chair(s): Chao Wang
10:30 - 10:55
Talk
Efficient Computation of Happens-Before Relation for Event-Driven Programs
Technical Papers
Pallavi MaiyaIndian Institute of Science, Bangalore, Aditya KanadeIndian Institute of Science, Bangalore
DOI
10:55 - 11:20
Talk
Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Technical Papers
Yu WangNanjing University, China, Linzhang Wang, Tingting YuUniversity of Kentucky, Jianhua ZhaoNanjing University, China, Xuandong LiNanjing University
DOI
11:20 - 11:45
Talk
Monitoring Decentralized Specifications
Technical Papers
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
13:20 - 15:00: Dynamic AnalysisTechnical Papers at Bren 1414
Chair(s): Tao XieUniversity of Illinois at Urbana-Champaign
13:20 - 13:45
Talk
Effective Online Software Anomaly Detection
Technical Papers
Yizhen ChenSUNY Albany, USA, Ming YingSUNY Albany, USA, Daren LiuSUNY Albany, USA, Adil AlimSUNY Albany, USA, Feng ChenSUNY Albany, USA, Mei-Hwa ChenSUNY Albany, USA
DOI
13:45 - 14:10
Talk
Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Technical Papers
William KochBoston University, USA, Abdelberi ChaabaneNortheastern University, USA, Manuel EgeleBoston University, USA, William RobertsonNortheastern University, USA, Engin KirdaNortheastern University, USA
DOI
14:10 - 14:35
Talk
CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Technical Papers
Yonghwi KwonPurdue University, Weihang WangPurdue University, Yunhui ZhengIBM Research, Xiangyu ZhangPurdue University, Dongyan XuPurdue University, USA
DOI
14:35 - 15:00
Talk
An Actionable Performance Profiler for Optimizing the Order of Evaluations
Technical Papers
Marija SelakovicTU Darmstadt, Germany, Thomas GlaserTU Darmstadt, Germany, Michael PradelTU Darmstadt
DOI
16:00 - 17:15: The WebTechnical Papers at Bren 1414
Chair(s): Frank TipNortheastern University
16:00 - 16:25
Talk
Testing and Analysis of Web Applications using Page Models
Technical Papers
Snigdha Athaiya, Raghavan KomondoorIndian Institute of Science, Bangalore
DOI
16:25 - 16:50
Talk
Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Technical Papers
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
16:50 - 17:15
Talk
Test Execution Checkpointing for Web Applications
Technical Papers
Marco GuarnieriETH Zurich, Switzerland, Petar TsankovETH Zurich, Tristan BuchsEPFL, Switzerland, Mohammad Torabi DashtiETH Zurich, Switzerland, David BasinETH Zurich, Switzerland
DOI

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 09:30: ISSTA 2017 Impact Paper AwardAgenda at Bren 1414
Chair(s): Andreas ZellerSaarland University
09:00 - 09:30
Talk
ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework
Agenda
James ClauseUniversity of Delaware, Wanchun Li, Alessandro OrsoGeorgia Tech
Link to publication DOI
09:30 - 09:55: Experience ReportTechnical Papers at Bren 1414
Chair(s): Andreas ZellerSaarland University
09:30 - 09:55
Talk
Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries
Technical Papers
Shaikh MostafaUniversity of Texas at San Antonio, USA, Rodney RodriguezUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
09:55 - 10:00: ISSTA 2018 PreviewAgenda at Bren 1414
09:55 - 10:00
Other
ISSTA 2018 Preview
Agenda
Frank TipNortheastern University
10:30 - 11:45: Program Repair and PatchingTechnical Papers at Bren 1414
Chair(s): Michael PradelTU Darmstadt
10:30 - 10:55
Talk
Identifying Test-Suite-Overfitted Patches through Test Case Generation
Technical Papers
Qi XinBrown University, USA, Steven P. ReissBrown University, USA
DOI
10:55 - 11:20
Talk
Impact of Tool Support in Patch Construction
Technical Papers
Anil KoyuncuUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Jacques KleinUniversity of Luxembourg, Martin Monperrus, Yves Le TraonUniversity of Luxembourg
DOI
11:20 - 11:45
Talk
Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Technical Papers
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
13:20 - 15:00: Fault Localization and Mutation TestingTechnical Papers at Bren 1414
Chair(s): Alex OrsoGeorgia Institute of Technology
13:20 - 13:45
Talk
Boosting Spectrum-Based Fault Localization using PageRank
Technical Papers
Mengshi ZhangUniversity of Texas at Austin, USA, Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang, Sarfraz KhurshidUniversity of Texas at Austin
DOI
13:45 - 14:10
Talk
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Technical Papers
Jeongju SohnKAIST, South Korea, Shin YooKorea Advanced Institute of Science and Technology
DOI
14:10 - 14:35
Talk
Inferring Mutant Utility from Program Context
Technical Papers
René JustUniversity of Massachusetts, USA, Bob KurtzGeorge Mason University, USA, Paul AmmannGeorge Mason University, USA
DOI Pre-print
14:35 - 15:00
Talk
Faster Mutation Analysis via Equivalence Modulo States
Technical Papers
Bo WangPeking University, China, Yingfei XiongPeking University, Yangqingwei ShiPeking University, Lu ZhangPeking University, Dan HaoPeking University
DOI Pre-print
15:30 - 17:10: Static AnalysisTechnical Papers at Bren 1414
Chair(s): William G.J. HalfondUniversity of Southern California
15:30 - 15:55
Talk
Just-in-Time Static Analysis
Technical Papers
Lisa Nguyen Quang DoFraunhofer IEM, Karim AliUniversity of Alberta, Benjamin LivshitsImperial College London, UK, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
DOI
15:55 - 16:20
Talk
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Technical Papers
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Shuvendu K. LahiriMicrosoft Research, Nimrod PartushTechnion
DOI
16:20 - 16:45
Talk
Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Technical Papers
Xiaokang Fan, Yulei Sui, Xiangke LiaoNational University of Defense Technology, China, Jingling XueUNSW Australia
DOI
16:45 - 17:10
Talk
Lightweight Detection of Physical Unit Inconsistencies without Program Annotations
Technical Papers
John-Paul OreUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA
DOI

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

Tue 11 Jul
Times are displayed in time zone: Tijuana, Baja California change

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1414