ISSTA 2017 Workshops
26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017)
Powered by
Conference Publishing Consulting

1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems (TECPS 2017), July 13, 2017, Santa Barbara, CA, USA

TECPS 2017 – Proceedings

Contents - Abstracts - Authors

1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems (TECPS 2017)

Frontmatter

Title Page
Message from the Organizers

Papers

Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Publisher's Version Article Search
Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution
Hong-Linh Truong and Luca Berardinelli
(Vienna University of Technology, Austria)
Publisher's Version Article Search
Fault Injection in the Internet of Things Applications
Mohammad Amin Alipour
(University of Houston, USA)
Publisher's Version Article Search
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
Alex Groce, Paul Flikkema, and Josie Holmes
(Northern Arizona University, USA; Pennsylvania State University, USA)
Publisher's Version Article Search

proc time: 1.25