Automatic test case generation from requirements for industrial cyber-physical systems
['Roopak Sinha', 'Cheng Pang', 'Gerardo Santillan Martinez', 'Valeriy Vyatkin']
Automatic test case generation from requirements for industrial cyber-physical systems