Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By ACM Press

9781450351126

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Discovering instructions for robust binary-level coverage criteria

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017 ◽

10.1145/3107091.3107092 ◽

2017 ◽

Author(s):

Vaibhav Sharma ◽

Taejoon Byun ◽

Stephen McCamant ◽

Sanjai Rayadurgam ◽

Mats P. E. Heimdahl

Keyword(s):

Coverage Criteria

Download Full-text

Testing uncertainty of cyber-physical systems in IoT cloud infrastructures: combining model-driven engineering and elastic execution

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017 ◽

10.1145/3107091.3107093 ◽

2017 ◽

Author(s):

Hong-Linh Truong ◽

Luca Berardinelli

Keyword(s):

Cyber Physical Systems ◽

Model Driven Engineering ◽

Physical Systems ◽

Model Driven ◽

Cloud Infrastructures

Download Full-text

Towards automated composition of heterogeneous tests for cyber-physical systems

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017 ◽

10.1145/3107091.3107094 ◽

2017 ◽

Author(s):

Alex Groce ◽

Paul Flikkema ◽

Josie Holmes

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Automated Composition

Download Full-text

Fault injection in the internet of things applications

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017 ◽

10.1145/3107091.3107095 ◽

2017 ◽

Author(s):

Mohammad Amin Alipour

Keyword(s):

Internet Of Things ◽

Fault Injection ◽

The Internet ◽

The Internet Of Things

Download Full-text