TY - RPRT TI - Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models AU - Zahra Sadri-Moshkenani AU - Justin Bradley AU - Gregg Rothermel PY - 2023 UR - https://arxiv.org/abs/2309.07994 ID - 2309.07994 ER -