activity
20192026
most citedSystematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots

1 citations · 1 across the 8 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.SE2019

Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi +3

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approa…

cs.SE2019

Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors

Claudio Menghi, Shiva Nejati, Khouloud Gaaloul +1

Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) th…