57 citations · 116 across the 31 of their papers we have counts for
4 papers · 1 filter
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +1
In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority…
Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
Markus Borg, Raja Ben Abdessalem, Shiva Nejati +2
The increasing levels of software- and data-intensive driving automation call for an evolution of automotive software testing. As a recommended practice of the Verification and Val…
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Fitash Ul Haq, Donghwan Shin, Shiva Nejati +1
We distinguish two general modes of testing for Deep Neural Networks (DNNs): Offline testing where DNNs are tested as individual units based on test datasets obtained without invol…