TY - RPRT TI - Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification AU - Claudio Menghi AU - Shiva Nejati AU - Lionel C. Briand AU - Yago Isasi Parache PY - 2019 UR - https://arxiv.org/abs/1910.02837 ID - 1910.02837 ER -