Nejati, Shiva
- Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
2019/10/07 by Claudio Menghi, Menghi, Claudio, Shiva Nejati +5 · 4 citations
Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Software Reliability and Analysis Research
- Evaluating Model Testing and Model Checking for Finding Requirements\n Violations in Simulink Models
2019/05/09 by Shiva Nejati, Nejati, Shiva, Khouloud Gaaloul +9 · 3 citations
Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Real-time simulation and control systems
- Combining Genetic Programming and Model Checking to Generate Environment Assumptions
2021/01/06 by Gaaloul, Khouloud, Menghi, Claudio, Nejati, Shiva +2 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems
2023/11/30 by Amini, Mohammad Hossein, Naseri, Shervin, Nejati, Shiva · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
2023/06/01 by Jia Li, Li, Jia, Shiva Nejati +3 · 2 citations
Computer Science · #Software-Defined Networks and 5G #Evolutionary Algorithms and Applications #Software System Performance and Reliability
- Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
2020/12/12 by Borg, Markus, Abdessalem, Raja Ben, Nejati, Shiva +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
2023/04/28 by Shiva Nejati, Nejati, Shiva, Lev Sorokin +9 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software System Performance and Reliability
- Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
2022/06/24 by Weyns, Danny, Gerostathopoulos, Ilias, Buhnova, Barbora +16 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Self-adaptive, Requirements-driven Autoscaling of Microservices
2024/02/02 by João Paulo Karol Santos Nunes, Shiva Nejati, Nunes, João Paulo Karol Santos +5 · 1 citation
Computer Science · #Software System Performance and Reliability #Cloud Computing and Resource Management #Peer-to-Peer Network Technologies
- Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
2019/03/08 by Menghi, Claudio, Nejati, Shiva, Gaaloul, Khouloud +1 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
2024/08/25 by Mohammad Amini, Amini, Mohammad Hossein, Shiva Nejati +1 · 2 citations
Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Image and Object Detection Techniques #Medical Image Segmentation Techniques #Software Engineering (cs.SE)
- Requirements-driven Slicing of Simulink Models Using LLMs
2024/05/02 by Luitel, Dipeeka, Nejati, Shiva, Sabetzadeh, Mehrdad · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
2024/08/17 by Chaudhary, Daksh, Vadlamani, Sri Lakshmi, Thomas, Dimple +2 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
2022/12/16 by Jodat, Baharin Aliashrafi, Nejati, Shiva, Sabetzadeh, Mehrdad +1 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)