Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

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]

Authors

Roopak Sinha

This author has not been identified. Look up 'Roopak Sinha' in Google

Cheng Pang

This author has not been identified. Look up 'Cheng Pang' in Google

Gerardo Santillan Martinez

This author has not been identified. Look up 'Gerardo Santillan Martinez' in Google

Juha Kuronen

This author has not been identified. Look up 'Juha Kuronen' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google