57 citations · 116 across the 31 of their papers we have counts for
5 papers · 1 filter
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati +1
Test inputs fail not only when the system under test is faulty but also when the inputs are invalid or unrealistic. Failures resulting from invalid or unrealistic test inputs are s…
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
Self-adaptation solutions need to periodically monitor, reason about, and adapt a running system. The adaptation step involves generating an adaptation strategy and applying it to…
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
Shiva Nejati, Lev Sorokin, Damir Safin +3
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the computational time for testing compute-intensive systems. Surrogates enhance testing techniques by improving tes…
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Lionel Briand +1
Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis u…
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh +1
An input to a system reveals a non-robust behaviour when, by making a small change in the input, the output of the system changes from acceptable (passing) to unacceptable (failing…