57 citations · 116 across the 31 of their papers we have counts for
5 papers · 1 filter
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Fitash Ul Haq, Donghwan Shin, Shiva Nejati +1
There is a growing body of research on developing testing techniques for Deep Neural Networks (DNN). We distinguish two general modes of testing for DNNs: Offline testing where DNN…
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Claudio Menghi, Shiva Nejati, Lionel C. Briand +1
Black-box testing has been extensively applied to test models of Cyber-Physical systems (CPS) since these models are not often amenable to static and symbolic testing and verificat…
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…
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh +3
The concept of Internet of Things (IoT) has led to the development of many complex and critical systems such as smart emergency management systems. IoT-enabled applications typical…
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…