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

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

08:00 - 12:00
RegistrationAgenda at Bren 1410
08:00
4h
Registration
Registration
Agenda

08:45 - 09:00
ISSTA 2017 OpeningAgenda at Bren 1414
08:45
15m
Day opening
ISSTA 2017 Opening
Agenda
Tevfik Bultan University of California, Santa Barbara, Koushik Sen University of California, Berkeley
09:00 - 10:00
Monday KeynoteKeynotes at Bren 1414
Chair(s): Koushik Sen University of California, Berkeley
09:00
60m
Talk
Keynote Talk: Advances and Challenges in Program Synthesis
Keynotes
10:00 - 10:30
Coffee BreakCatering at Bren Courtyard
10:00
30m
Coffee break
Coffee Break
Catering

10:30 - 12:10
Improving TestingTechnical Papers at Bren 1414
Chair(s): Cristian Cadar Imperial College London
10:30
25m
Talk
One Test to Rule Them All
Technical Papers
Alex Groce Northern Arizona University, Josie Holmes Pennsylvania State University, USA, Kevin Kellar
DOI
10:55
25m
Talk
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Technical Papers
Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Norway, Dusica Marijan Simula, Morten Mossige University of Stavanger, Norway / ABB Robotics, Norway
DOI
11:20
25m
Talk
PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Technical Papers
Shaikh Mostafa University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA, Tao Xie University of Illinois at Urbana-Champaign
DOI
11:45
25m
Talk
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Technical Papers
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
12:00 - 13:45
Monday LunchCatering at DLG Commons
12:00
1h45m
Lunch
Lunch
Catering

13:45 - 14:35
TestingTechnical Papers at Bren 1414
Chair(s): Alex Groce Northern Arizona University
13:45
25m
Talk
Targeted Property-Based Testing
Technical Papers
DOI
14:10
25m
Talk
Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
Technical Papers
Ermira Daka University of Sheffield, UK, José Miguel Rojas University of Sheffield, Gordon Fraser University of Sheffield
DOI
14:35 - 15:05
Lightning TalksDemonstrations at Bren 1414
Chair(s): Yuriy Brun University of Massachusetts, Amherst, Neha Rungta Amazon Web Services
14:35
2m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
14:37
2m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
14:39
2m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
14:41
2m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
14:43
2m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
14:45
2m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
14:47
2m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI
14:49
2m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
14:52
2m
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
14:54
2m
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
14:56
2m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
14:58
2m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:00
2m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:02
2m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
15:05 - 16:00
Demonstrations 1Demonstrations at Bren 1424
15:05
55m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:05
55m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
15:05
55m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
15:05
55m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
15:05
55m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
15:05
55m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:05
55m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI
15:05 - 16:00
Coffee Break + Poster SessionsCatering at Bren Courtyard
15:05
55m
Coffee break
Coffee Break + Poster Sessions
Catering

16:00 - 17:15
Symbolic ExecutionTechnical Papers at Bren 1414
Chair(s): Gordon Fraser University of Sheffield
16:00
25m
Talk
Accelerating Array Constraints in Symbolic Execution
Technical Papers
David Mitchel Perry Purdue University, Andrea Mattavelli Imperial College London, Xiangyu Zhang Purdue University, Cristian Cadar Imperial College London
DOI
16:25
25m
Talk
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
Technical Papers
Wei Sun University of Nebraska-Lincoln, USA, Lisong Xu University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
16:50
25m
Talk
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Technical Papers
Pietro Braione University of Milano-Bicocca, Italy, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezzè University of Milano-Bicocca, Italy
DOI
18:30 - 20:30
Reception for ISSTACatering at Mosher Alumni House
18:30
2h
Social Event
Reception for ISSTA
Catering

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

08:00 - 12:00
RegistrationAgenda at Bren 1410
08:00
4h
Registration
Registration
Agenda

09:00 - 10:00
Tuesday KeynoteKeynotes at Bren 1414
Chair(s): Tevfik Bultan University of California, Santa Barbara
09:00
60m
Talk
Keynote Talk: Finding Vulnerabilities in Embedded Software
Keynotes
Christopher Kruegel University of California, Santa Barbara
10:00 - 10:30
Coffee BreakCatering at Bren Courtyard
10:00
30m
Coffee break
Coffee Break
Catering

10:30 - 11:45
ConcurrencyTechnical Papers at Bren 1414
Chair(s): Chao Wang
10:30
25m
Talk
Efficient Computation of Happens-Before Relation for Event-Driven Programs
Technical Papers
Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore
DOI
10:55
25m
Talk
Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Technical Papers
Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University
DOI
11:20
25m
Talk
Monitoring Decentralized Specifications
Technical Papers
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
11:45 - 13:20
ISSTA Steering Committee MeetingAgenda at Club & Guest House
11:45
1h35m
Meeting
ISSTA Steering Committee Meeting
Agenda

11:45 - 13:20
Tuesday LunchCatering at DLG Commons
11:45
1h35m
Lunch
Lunch
Catering

13:20 - 15:00
Dynamic AnalysisTechnical Papers at Bren 1414
Chair(s): Tao Xie University of Illinois at Urbana-Champaign
13:20
25m
Talk
Effective Online Software Anomaly Detection
Technical Papers
Yizhen Chen SUNY Albany, USA, Ming Ying SUNY Albany, USA, Daren Liu SUNY Albany, USA, Adil Alim SUNY Albany, USA, Feng Chen SUNY Albany, USA, Mei-Hwa Chen SUNY Albany, USA
DOI
13:45
25m
Talk
Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Technical Papers
William Koch Boston University, USA, Abdelberi Chaabane Northeastern University, USA, Manuel Egele Boston University, USA, William Robertson Northeastern University, USA, Engin Kirda Northeastern University, USA
DOI
14:10
25m
Talk
CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Technical Papers
Yonghwi Kwon Purdue University, Weihang Wang Purdue University, Yunhui Zheng IBM Research, Xiangyu Zhang Purdue University, Dongyan Xu Purdue University, USA
DOI
14:35
25m
Talk
An Actionable Performance Profiler for Optimizing the Order of Evaluations
Technical Papers
Marija Selakovic TU Darmstadt, Germany, Thomas Glaser TU Darmstadt, Germany, Michael Pradel TU Darmstadt
DOI
15:00 - 16:00
Demonstrations 2Demonstrations at Bren 1424
15:00
60m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
15:00
60m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
15:00
60m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
15:00
60m
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
15:00
60m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
15:00
60m
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
15:00
60m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
15:00 - 16:00
Coffee Break + Poster SessionsCatering at Bren Courtyard
15:00
60m
Coffee break
Coffee Break + Poster Sessions
Catering

16:00 - 17:15
The WebTechnical Papers at Bren 1414
Chair(s): Frank Tip Northeastern University
16:00
25m
Talk
Testing and Analysis of Web Applications using Page Models
Technical Papers
Snigdha Athaiya , Raghavan Komondoor Indian Institute of Science, Bangalore
DOI
16:25
25m
Talk
Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Technical Papers
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
16:50
25m
Talk
Test Execution Checkpointing for Web Applications
Technical Papers
Marco Guarnieri ETH Zurich, Switzerland, Petar Tsankov ETH Zurich, Tristan Buchs EPFL, Switzerland, Mohammad Torabi Dashti ETH Zurich, Switzerland, David Basin ETH Zurich, Switzerland
DOI
17:45 - 20:00
Goleta Beach BBQCatering at Goleta Beach
17:45
2h15m
Social Event
Beach BBQ
Catering

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

08:00 - 12:00
RegistrationAgenda at Bren 1410
08:00
4h
Registration
Registration
Agenda

09:00 - 09:30
ISSTA 2017 Impact Paper AwardAgenda at Bren 1414
Chair(s): Andreas Zeller Saarland University
09:00
30m
Talk
ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework
Agenda
James Clause University of Delaware, Wanchun Li , Alessandro Orso Georgia Tech
Link to publication DOI
09:30 - 09:55
Experience ReportTechnical Papers at Bren 1414
Chair(s): Andreas Zeller Saarland University
09:30
25m
Talk
Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries
Technical Papers
Shaikh Mostafa University of Texas at San Antonio, USA, Rodney Rodriguez University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA
DOI
09:55 - 10:00
ISSTA 2018 PreviewAgenda at Bren 1414
09:55
5m
Other
ISSTA 2018 Preview
Agenda
Frank Tip Northeastern University
10:00 - 10:30
Coffee BreakCatering at Bren Courtyard
10:00
30m
Coffee break
Coffee Break
Catering

10:30 - 11:45
Program Repair and PatchingTechnical Papers at Bren 1414
Chair(s): Michael Pradel TU Darmstadt
10:30
25m
Talk
Identifying Test-Suite-Overfitted Patches through Test Case Generation
Technical Papers
Qi Xin Brown University, USA, Steven P. Reiss Brown University, USA
DOI
10:55
25m
Talk
Impact of Tool Support in Patch Construction
Technical Papers
Anil Koyuncu University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Jacques Klein University of Luxembourg, Martin Monperrus , Yves Le Traon University of Luxembourg
DOI
11:20
25m
Talk
Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Technical Papers
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
11:45 - 13:20
Wednesday LunchCatering at DLG Commons
11:45
1h35m
Lunch
Lunch
Catering

13:20 - 15:00
Fault Localization and Mutation TestingTechnical Papers at Bren 1414
Chair(s): Alex Orso Georgia Institute of Technology
13:20
25m
Talk
Boosting Spectrum-Based Fault Localization using PageRank
Technical Papers
Mengshi Zhang University of Texas at Austin, USA, Xia Li University of Texas at Dallas, USA, Lingming Zhang , Sarfraz Khurshid University of Texas at Austin
DOI
13:45
25m
Talk
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Technical Papers
Jeongju Sohn KAIST, South Korea, Shin Yoo Korea Advanced Institute of Science and Technology
DOI
14:10
25m
Talk
Inferring Mutant Utility from Program Context
Technical Papers
René Just University of Massachusetts, USA, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA
DOI Pre-print
14:35
25m
Talk
Faster Mutation Analysis via Equivalence Modulo States
Technical Papers
Bo Wang Peking University, China, Yingfei Xiong Peking University, Yangqingwei Shi Peking University, Lu Zhang Peking University, Dan Hao Peking University
DOI Pre-print
15:30 - 17:10
Static AnalysisTechnical Papers at Bren 1414
Chair(s): William G.J. Halfond University of Southern California
15:30
25m
Talk
Just-in-Time Static Analysis
Technical Papers
Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali University of Alberta, Benjamin Livshits Imperial College London, UK, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University
DOI
15:55
25m
Talk
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Technical Papers
Alex Gyori University of Illinois at Urbana-Champaign, USA, Shuvendu K. Lahiri Microsoft Research, Nimrod Partush Technion
DOI
16:20
25m
Talk
Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Technical Papers
Xiaokang Fan , Yulei Sui , Liao Xiangke National University of Defense Technology, China, Jingling Xue UNSW Australia
DOI
16:45
25m
Talk
Lightweight Detection of Physical Unit Inconsistencies without Program Annotations
Technical Papers
John-Paul Ore University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA
DOI
16:30 - 17:30
Session 5SPIN RERS at Bren 1424
16:30
60m
Day closing
Discussion Panel
SPIN RERS

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

08:00 - 12:00
RegistrationAgenda at ESB Courtyard
08:00
4h
Registration
Registration
Agenda

08:30 - 09:30
Session 1SPIN Keynote at ESB 1001
Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory
08:30
60m
Talk
Gerard Holzmann: Cobra - Fast Structural Code Checking
SPIN Keynote

09:00 - 10:00
KeynoteTECPS at ESB 2001
Chair(s): Tingting Yu University of Kentucky
09:00
60m
Talk
Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software
TECPS
Michael Whalen University of Minnesota
09:00 - 10:00
KeynoteDoctoral Symposium at ESB 2003
Chair(s): Ben Liblit University of Wisconsin–Madison
09:00
60m
Talk
What makes useful research?
Doctoral Symposium
K: Andreas Zeller Saarland University
Media Attached
09:30 - 10:00
Session 2: Symbolic VerificationSPIN Full Paper at ESB 1001
Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory
09:30
30m
Talk
Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol)
SPIN Full Paper

10:00 - 10:30
Thursday AM BreakSPIN Catering at ESB Courtyard
10:00
30m
Coffee break
Break
SPIN Catering

10:00 - 10:30
Coffee BreakCatering at ESB Courtyard
10:00
30m
Coffee break
Coffee Break
Catering

10:30 - 12:00
Session 1TECPS at ESB 2001
Chair(s): Alex Gyori University of Illinois at Urbana-Champaign, USA
10:30
30m
Talk
Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance
TECPS
Chao Wang University of Southern California
11:00
30m
Talk
Invited Talk: Detecting Bugs in Robotic Systems
TECPS
John-Paul Ore University of Nebraska-Lincoln, USA
11:30
30m
Talk
Discovering Instructions for Robust Binary-Level Coverage Criteria
TECPS
Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats Heimdahl University of Minnesota
10:30 - 12:00
AnalysisDoctoral Symposium at ESB 2003
Chair(s): Mary Lou Soffa University of Virginia
10:30
30m
Talk
Consistency Checking in Requirements Analysis
Doctoral Symposium
A: Jaroslav Bendík Masaryk University
11:00
30m
Talk
Inferring Page Models for Web Application Analysis
Doctoral Symposium
11:30
30m
Talk
Path Cost Analysis for Side Channel Detection
Doctoral Symposium
12:00 - 13:30
Thursday LunchCatering at DLG Commons
12:00
90m
Lunch
Lunch
Catering

13:30 - 14:30
Session 4SPIN Keynote at ESB 1001
Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory
13:30
60m
Talk
Byron Cook: Automated Formal Reasoning About Amazon Web Services
SPIN Keynote

13:30 - 15:00
Session 2TECPS at ESB 2001
Chair(s): Kristen Walcott-Justice
13:30
30m
Talk
Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
TECPS
Stephen McCamant University of Minnesota
14:00
30m
Talk
Invited Talk: Testing Evolving Embedded Systems
TECPS
Tingting Yu University of Kentucky
14:30
30m
Talk
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
TECPS
Alex Groce Northern Arizona University, Paul Flikkema Northern Arizona University, Josie Holmes Pennsylvania State University, USA
13:30 - 15:00
Modeling and LearningDoctoral Symposium at ESB 2003
Chair(s): Alex Orso Georgia Institute of Technology
13:30
30m
Talk
Automatically Inferring and Enforcing User Expectations
Doctoral Symposium
A: Jenny Hotzkow Saarland University
14:00
30m
Talk
Understanding Intended Behavior Using Models of Low-level Signals
Doctoral Symposium
A: Deborah S. Katz Carnegie Mellon University
14:30
30m
Talk
Version Space Learning for Verification on Temporal Differentials
Doctoral Symposium
15:00 - 15:30
Thursday PM BreakSPIN Catering at ESB Courtyard
15:00
30m
Coffee break
Break
SPIN Catering

15:00 - 15:30
Coffee BreakCatering at ESB Courtyard
15:00
30m
Coffee break
Coffee Break
Catering

15:30 - 17:30
Session 3TECPS at ESB 2001
Chair(s): Stephen McCamant University of Minnesota
15:30
30m
Talk
Support for Security and Safety of Programmable IoT Systems
TECPS
Alex Gyori University of Illinois at Urbana-Champaign, USA, Earlence Fernandes University of Michigan, Amir Rahmati University of Michigan, Atul Prakash University of Michigan, Darko Marinov University of Illinois at Urbana-Champaign
16:00
30m
Talk
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
TECPS
Hong-Linh Truong TU Wien, Luca Berardinelli Johannes Kepler University Linz
16:30
30m
Talk
Fault Injection in the Internet of Things Applications
TECPS
Amin Alipour University of Houston
15:30 - 17:00
TestingDoctoral Symposium at ESB 2003
Chair(s): Alex Groce Northern Arizona University
15:30
30m
Talk
Data Flow Oriented UI Testing
Doctoral Symposium
Nataniel Borges Jr. Saarland University
16:00
30m
Talk
Dynamic Tainting for Automatic Test Case Generation
Doctoral Symposium
A: Björn Mathis Saarland University
16:30
30m
Talk
Oracle Problem in Software Testing
Doctoral Symposium
A: Gunel Jahangirova Fondazione Bruno Kessler
18:30 - 20:30
18:30
2h
Dinner
Dinner
SPIN Catering

18:30 - 20:30
Reception for SPIN and WorkshopsCatering at Mosher Alumni House
18:30
2h
Social Event
Reception for SPIN and Workshops
Catering

Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

10:00 - 10:30
Friday AM BreakSPIN Catering at ESB Courtyard
10:00
30m
Coffee break
Break
SPIN Catering

10:00 - 10:30
Coffee BreakCatering at ESB Courtyard
10:00
30m
Coffee break
Coffee Break
Catering

12:00 - 13:30
Friday LunchCatering at DLG Commons
12:00
90m
Lunch
Lunch
Catering

13:30 - 14:30
Session 10SPIN Keynote at ESB 1001
Chair(s): Yliès Falcone Univ. Grenoble Alpes, Inria
13:30
60m
Talk
Domagoj Babic: SunDew - Systematic Automated Security Testing.
SPIN Keynote

14:30 - 15:00
Session 11: Program SketchingSPIN Full Paper at ESB 1001
Chair(s): Madalina Erascu
14:30
30m
Talk
EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid)
SPIN Full Paper

15:00 - 15:30
Friday PM BreakSPIN Catering at ESB Courtyard
15:00
30m
Coffee break
Break
SPIN Catering

15:00 - 15:30
Coffee BreakCatering at ESB Courtyard
15:00
30m
Coffee break
Coffee Break
Catering

17:10 - 17:30
Session 14SPIN Agenda at ESB 1001
Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory, Pedro Merino Gomez
17:10
20m
Day closing
SPIN 2018, Best Paper Awards, and Closing
SPIN Agenda