TY  - RPRT
TI  - Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
AU  - Roopak Sinha
AU  - Cheng Pang
AU  - Gerardo Santillán Martínez
AU  - Juha Kuronen
AU  - Valeriy Vyatkin
PY  - 2021
DO  - 10.1109/iceccs.2015.32.
UR  - https://arxiv.org/abs/2108.07400
ID  - 2108.07400
ER  -