TY  - CONF

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

UR  - https://doi.org/10.1007/978-3-319-77538-8_53

PY  - 2018/03/08

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  - 2025/11/04

ER  -