TY  - CONF

T1  - Search-Based Temporal Testing in an Embedded Multicore Platform

PY  - 2018/01/01

AU  - Srivisut K

AU  - Clark JA

AU  - Paige RF

ED  - 

DO  - DOI: 10.1007/978-3-319-77538-8_53

PB  - Springer International Publishing

SN  - 9783319775371

SP  - 794

EP  - 809

Y2  - 2024/12/22

ER  -