Profil

NEJATI Shiva

Main Referenced Co-authors
BRIAND, Lionel  (49)
SABETZADEH, Mehrdad  (14)
MATINNEJAD, Reza  (9)
Bruckmann, Thomas (8)
MENGHI, Claudio  (5)
Main Referenced Keywords
Cyber Physical Systems (5); Simulink models (5); Fault localization (4); Machine learning (3); Search-based Software Engineering (3);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (42)
ULHPC - University of Luxembourg: High Performance Computing (5)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (1)
Snt Centre (1)
Main Referenced Disciplines
Computer science (52)

Publications (total 52)

The most downloaded
2601 downloads
BEN ABDESSALEM (HELALI), R., NEJATI, S., BRIAND, L., & Stifter, T. (2018). Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018). ACM. doi:10.1145/3180155.3180160 https://hdl.handle.net/10993/33706

The most cited

198 citations (Scopus®)

BEN ABDESSALEM (HELALI), R., NEJATI, S., BRIAND, L., & Stifter, T. (2018). Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018). ACM. doi:10.1145/3180155.3180160 https://hdl.handle.net/10993/33706

LEE, J., SHIN, S. Y., BRIAND, L., & NEJATI, S. (2023). Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3617176
Peer Reviewed verified by ORBi

GAALOUL, K., MENGHI, C., NEJATI, S., BRIAND, L., & Isasi Parache, Y. (2022). Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2021.3101818
Peer Reviewed verified by ORBi

UL HAQ, F., SHIN, D., NEJATI, S., & BRIAND, L. (05 July 2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empirical Software Engineering, 26 (5). doi:10.1007/s10664-021-09982-4
Peer Reviewed verified by ORBi

Borg, M., BEN ABDESSALEM (HELALI), R., NEJATI, S., François-Xavier, J., & SHIN, D. (2021). Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. In 2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST) (pp. 383-393). doi:10.1109/ICST49551.2021.00050
Peer reviewed

SHIN, S. Y., CHAOUCH, K., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2021). Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems. Journal of Systems and Software. doi:10.1016/j.jss.2020.110813
Peer Reviewed verified by ORBi

UL HAQ, F., SHIN, D., NEJATI, S., & BRIAND, L. (2020). Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE. doi:10.1109/ICST46399.2020.00019
Peer reviewed

Ben Abdessalem, R., Panichella, A., NEJATI, S., BRIAND, L., & Stifter, T. (2020). Automated Repair of Feature Interaction Failures in Automated Driving Systems. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020).
Peer reviewed

SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., Arora, C., & Zimmer, F. (2020). Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). doi:10.1145/3387939.3391603
Peer reviewed

GAALOUL, K., MENGHI, C., NEJATI, S., BRIAND, L., & Wolfe, D. (2020). Mining Assumptions for Software Components using Machine Learning. In Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3368089.3409737
Peer reviewed

MENGHI, C., NEJATI, S., BRIAND, L., & Yago, I. P. (2020). Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. In Proceedings of the 42nd International Conference on Software Engineering.
Peer reviewed

Matinnejad, R., NEJATI, S., BRIAND, L., & Bruckmann, T. (September 2019). Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering, 45 (9), 919-944. doi:10.1109/TSE.2018.2811489
Peer reviewed

MENGHI, C., NEJATI, S., GAALOUL, K., & BRIAND, L. (2019). Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19) (pp. 27-38). ACM. doi:10.1145/3338906.3338920
Peer reviewed

ARORA, C., SABETZADEH, M., NEJATI, S., & BRIAND, L. (February 2019). An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Transactions on Software Engineering and Methodology, 28 (1). doi:10.1145/3293454
Peer Reviewed verified by ORBi

NEJATI, S., GAALOUL, K., MENGHI, C., BRIAND, L., Foster, S., & Wolfe, D. (2019). Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3338906.3340444
Peer reviewed

GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & isasi, Y. (2018). Enabling Model Testing of Cyber-Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239409
Peer reviewed

SHIN, S. Y., CHAOUCH, K., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239382
Peer reviewed

Basili, V., BRIAND, L., BIANCULLI, D., NEJATI, S., PASTORE, F., & SABETZADEH, M. (September 2018). Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Software, 35 (5), 44-49. doi:10.1109/MS.2018.290110216
Peer Reviewed verified by ORBi

SHIN, S. Y., NEJATI, S., SABETZADEH, M., BRIAND, L., & Zimmer, F. (2018). Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18). New York, United States: ACM. doi:10.1145/3213846.3213852
Peer reviewed

GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & Isasi, Y. (2018). A SysML-Based Methodology for Model Testing of Cyber-Physical Systems. (TR-SNT-2018-2). Luxembourg, Luxembourg: University of Luxembourg. https://orbilu.uni.lu/handle/10993/35699

Liu, B., NEJATI, S., Lucia, L., & BRIAND, L. (21 March 2018). Effective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy. Empirical Software Engineering, 24 (1), 444-490. doi:10.1007/s10664-018-9611-z
Peer Reviewed verified by ORBi

BEN ABDESSALEM (HELALI), R., Panichella, A., NEJATI, S., BRIAND, L., & Stifter, T. (2018). Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search. In Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018). doi:10.1145/3238147.3238192
Peer reviewed

BEN ABDESSALEM (HELALI), R., NEJATI, S., BRIAND, L., & Stifter, T. (2018). Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018). ACM. doi:10.1145/3180155.3180160
Peer reviewed

BRIAND, L., BIANCULLI, D., NEJATI, S., PASTORE, F., & SABETZADEH, M. (September 2017). The Case for Context-Driven Software Engineering Research. IEEE Software, 34 (5), 72-75. doi:10.1109/MS.2017.3571562
Peer Reviewed verified by ORBi

LIU, B., Lucia, L., NEJATI, S., & BRIAND, L. (2017). Improving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models. In 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017). doi:10.1109/SANER.2017.7884636
Peer reviewed

MATINNEJAD, R., NEJATI, S., & BRIAND, L. (2017). Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies. In Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017) (pp. 938-943). ACM. doi:10.1145/3106237.3117770
Peer reviewed

LIU, B., LUCIA, L., NEJATI, S., BRIAND, L., & Bruckmann, T. (12 August 2016). Simulink Fault Localisation: an Iterative Statistical Debugging Approach. Software Testing, Verification and Reliability, 26 (6), 431-459. doi:10.1002/stvr.1605
Peer Reviewed verified by ORBi

BRIAND, L., NEJATI, S., SABETZADEH, M., & BIANCULLI, D. (2016). Testing the Untestable: Model Testing of Complex Software-Intensive Systems. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (pp. 789-792). ACM. doi:10.1145/2889160.2889212
Peer reviewed

LIU, B., LUCIA, L., NEJATI, S., BRIAND, L., & Bruckmann, T. (2016). Localizing Multiple Faults in Simulink Models. In 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). doi:10.1109/SANER.2016.38
Peer reviewed

BEN ABDESSALEM (HELALI), R., NEJATI, S., BRIAND, L., & Stifter, T. (2016). Testing Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks. In International Conference on Automated Software Engineering (ASE 2016) (pp. 63-74). ACM. doi:10.1145/2970276.2970311
Peer reviewed

MATINNEJAD, R., NEJATI, S., BRIAND, L., & Bruckmann, T. (2016). Automated Test Suite Generation for Time-Continuous Simulink Models. Proceedings of the 38th International Conference on Software Engineering, 595-606. doi:10.1145/2884781.2884797
Peer reviewed

NEJATI, S., SABETZADEH, M., ARORA, C., BRIAND, L., & Mandoux, F. (2016). Automated Change Impact Analysis between SysML Models of Requirements and Design. In 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (pp. 242--253). ACM. doi:10.1145/2950290.2950293
Peer reviewed

MATINNEJAD, R., NEJATI, S., BRIAND, L., & Bruckamnn, T. (2016). SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers. Proceedings of the 38th International Conference on Software Engineering, 585--588. doi:10.1145/2889160.2889162
Peer reviewed

DI ALESIO, S., BRIAND, L., NEJATI, S., & GOTLIEB, A. (December 2015). Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Transactions on Software Engineering and Methodology, 25 (1). doi:10.1145/2818640
Peer Reviewed verified by ORBi

LIU, B., LUCIA, L., NEJATI, S., & BRIAND, L. (2015). Simulink Fault Localization: an Iterative Statistical Debugging Approach. (TR-SnT-2015-8). https://orbilu.uni.lu/handle/10993/22196

MATINNEJAD, R., NEJATI, S., & BRIAND, L. (2015). Automated Test Suite Generation for Time-Continuous Simulink Models. (TR-SnT-2015-7). https://orbilu.uni.lu/handle/10993/21975

MATINNEJAD, R., NEJATI, S., BRIAND, L., Bruckmann, T., & Poull, C. (January 2015). Search-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies. Information and Software Technology, 57, 705-722. doi:10.1016/j.infsof.2014.05.007
Peer reviewed

MATINNEJAD, R., NEJATI, S., BRIAND, L., & Bruckmann, T. (2015). Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. doi:10.1145/2786805.2786818
Peer reviewed

MATINNEJAD, R., NEJATI, S., BRIAND, L., & Bruckmann, T. (2014). MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models. In International Conference on Automated Software Engineering (ASE 2014). doi:10.1145/2642937.2642978
Peer reviewed

DI ALESIO, S., NEJATI, S., BRIAND, L., & Gotlieb, A. (2014). Worst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing. In International Conference on Principles and Practice of Constraint Programming.
Peer reviewed

MATINNEJAD, R., NEJATI, S., BRIAND, L., & Bruckmann, T. (2014). CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller. In International Conference on Automated Software Engineering (ASE 2014). doi:10.1145/2642937.2648625
Peer reviewed

NEJATI, S., & BRIAND, L. (2014). Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search. In International Symposium on Software Testing and Analysis (ISSTA 2014) (pp. 11). doi:10.1145/2610384.2610396
Peer reviewed

Behjati, R., NEJATI, S., & BRIAND, L. (May 2014). Architecture-Level Configuration of Large-Scale Embedded Software Systems. ACM Transactions on Software Engineering and Methodology, 23 (3). doi:10.1145/2581376
Peer Reviewed verified by ORBi

BRIAND, L., Falessi, D., NEJATI, S., SABETZADEH, M., & Yue, T. (February 2014). Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment. ACM Transactions on Software Engineering and Methodology, 23 (1). doi:10.1145/2559978
Peer Reviewed verified by ORBi

MATINNEJAD, R., NEJATI, S., BRIAND, L., Bruckmann, T., & Poull, C. (2013). Automated Model-in-the-Loop Testing of Continuous Controllers using Search. In 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (pp. 141-157).
Peer reviewed

Chechik, M., Simmonds, J., Liaskos, S., NEJATI, S., SABETZADEH, M., & Salay, R. (2013). PWWM: A Personal Web Workflow Methodology. In M. Chignell, J. Cordy, R. Kealey, ... Y. Yesha (Eds.), The Personal Web (pp. 11-48). Springer.
Peer reviewed

Di Alesio, S., NEJATI, S., BRIAND, L., & Gotlieb, A. (2013). Stress Testing of Task Deadlines: A Constraint Programming Approach. In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013. doi:10.1109/ISSRE.2013.6698915
Peer reviewed

NEJATI, S., ADEDJOUMA, M., BRIAND, L., Hellebaut, J., Begey, J., & Clement, Y. (2013). Minimizing CPU Time Shortage Risks in Integrated Embedded Software. In 28th IEEE/ACM International Conference on Automated Software Engineering. doi:10.1109/ASE.2013.6693110
Peer reviewed

BRIAND, L., Falessi, D., NEJATI, S., SABETZADEH, M., & Yue, T. (2012). Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. In 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (pp. 759-775).
Peer reviewed

NEJATI, S., Di Alesio, S., SABETZADEH, M., & BRIAND, L. (2012). Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. In 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (pp. 759-775).
Peer reviewed

Behjati, R., NEJATI, S., Yue, T., Gotlieb, A., & BRIAND, L. (2012). Model-Based Automated and Guided Configuration of Embedded Software Systems. In European Conference on Modeling Foundations and Applications (pp. 226-243).
Peer reviewed

Di Alesio, S., Gotlieb, A., NEJATI, S., & BRIAND, L. (2012). Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. In CSTVA 2012 (pp. 764-769). doi:10.1109/ICST.2012.171
Peer reviewed

NEJATI, S., SABETZADEH, M., Chechik, M., Easterbrook, S., & Zave, P. (2012). Matching and Merging of Variant Feature Specifications. IEEE Transactions on Software Engineering, 38 (6), 1355-1375. doi:10.1109/TSE.2011.112
Peer reviewed

Contact ORBilu