Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin. Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 198-201, IEEE, 2015. [doi]
Abstract is missing.