Automatic test case generation from requirements for industrial cyber-physical systems

Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin. Automatic test case generation from requirements for industrial cyber-physical systems. Automatisierungstechnik, 64(3):216-230, 2016. [doi]

Abstract

Abstract is missing.