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

Thu 13 Jul

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