TY - RPRT TI - Combinatorial Modeling and Test Case Generation for Industrial Control Software using ACTS AU - Sara Ericsson AU - Eduard Enoiu PY - 2018 UR - https://arxiv.org/abs/1803.09006 ID - 1803.09006 ER -