Write a Blog >>
ISSTA 2017
Mon 10 - Fri 14 July 2017 Santa Barbara, California, United States
ISSTA 2017 (series) / University of California, Santa Barbara /

Room information: ESB 2001

VenueUniversity of California, Santa Barbara
Room nameESB 2001
Floor2
Room number2001
Room InformationNo extra information available
Program

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

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

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
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
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
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

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 2001

TECPS

TECPS

Keynote

TECPS

Session 1

TECPS

Session 2

TECPS

Session 3

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
ESB 2001
ISSTA TECPS
Keynote Talk: Test Metrics and Generation Strategies for Next-Generatio ...
09:00 - 10:00
ISSTA TECPS
Invited Talk: Security by Compilation: An Automated Approach to Side-ch ...
10:30 - 11:00
ISSTA TECPS
Invited Talk: Detecting Bugs in Robotic Systems
11:00 - 11:30
ISSTA TECPS
Discovering Instructions for Robust Binary-Level Coverage Criteria
11:30 - 12:00
ISSTA TECPS
Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
13:30 - 14:00
ISSTA TECPS
Invited Talk: Testing Evolving Embedded Systems
14:00 - 14:30
ISSTA TECPS
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical ...
14:30 - 15:00
ISSTA TECPS
Support for Security and Safety of Programmable IoT Systems
15:30 - 16:00
ISSTA TECPS
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructu ...
16:00 - 16:30
ISSTA TECPS
Fault Injection in the Internet of Things Applications
16:30 - 17:00