Periodic Reporting for period 3 - U-Test (Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies)

Cyber-Physical Systems (CPS) work in the uncertain real-world, and thus must be able to work correctly in the unpredictable world. The project was directed towards enabling such systems to work correctly in real-world uncertainty by providing new ways to test them. Given their...