Write a Blog >>
Thu 13 Jul 2017 14:00 - 14:30 at ESB 2001 - Session 2 Chair(s): Kristen Walcott-Justice

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

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 McCamantUniversity of Minnesota
14:00
30m
Talk
Invited Talk: Testing Evolving Embedded Systems
TECPS
Tingting YuUniversity of Kentucky
14:30
30m
Talk
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
TECPS
Alex GroceNorthern Arizona University, Paul FlikkemaNorthern Arizona University, Josie HolmesPennsylvania State University, USA