Sara Ericsson, Eduard Enoiu. Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS. In 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018. pages 414-425, IEEE, 2018. [doi]
Abstract is missing.