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

Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin

Browse the full ICECCS paper archive.