@inproceedings{inproceedings, title = {{Search-Based Temporal Testing in an Embedded Multicore Platform}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2018}}, month = {{1}}, author = {{Srivisut K and Clark JA and Paige RF}}, doi = {{10.1007/978-3-319-77538-8_53}}, isbn = {{9783319775371}}, pages = {{794-809}}, note = {{Accessed on 2025/05/25}}}