Shiva Nejati
|
|
|||||
| Adresse postale |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
I am a research scientist at the Software Verification and Validation Lab, at the University of Luxembourg.
I received my M.Sc. and Ph.D. from the University of Toronto, Canada in 2003 and 2008, respectively. From 2009 to 2012, I was a research staff member at the Simula Research Lab, Norway.
My main research area is software engineering, with specific interests in model-based development, behaviour analysis, requirements engineering, specification and design methods, and web-services.
More details about my research and background can be found on my personal home page.
Last updated on: mardi 25 juin 2013
Sous presse
Combining Genetic Programming and Model Checking to Generate Environment Assumptions; ; ; ;
in IEEE Transactions on Software Engineering (in press)
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) (2021, May 25)
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Journal of Systems and Software (2021)
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?; ; ;
in Empirical Software Engineering (2021), 26(5),
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) (2020, July)
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) (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 (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) (2020, May)
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) (2020, August 05)
2019
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction; ; ;
in ACM Transactions on Software Engineering and Methodology (2019), 28(1),
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior; ; ;
in IEEE Transactions on Software Engineering (2019), 45(9), 919-944
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), (2019, August)
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) (2019)
2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact; ; ; ; ;
in IEEE Software (2018), 35(5), 44-49
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms; ; ;
in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) (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) (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) (2018, October)
Effective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy; ; ;
in Empirical Software Engineering (2018), 24(1), 444-490
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) (2018, October)
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) (2018, July)
2017
The Case for Context-Driven Software Engineering Research; ; ; ;
in IEEE Software (2017), 34(5), 72-75
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) (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) (2017)
2016
Testing Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks; ; ;
in International Conference on Automated Software Engineering (ASE 2016) (2016)
Testing the Untestable: Model Testing of Complex Software-Intensive Systems; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)
Simulink Fault Localisation: an Iterative Statistical Debugging Approach; ; ; ;
in Software Testing, Verification & Reliability (2016), 26(6), 431-459
Localizing Multiple Faults in Simulink Models.; ; ; ;
in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)
SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers; ; ;
in Proceedings of the 38th International Conference on Software Engineering (2016)
Automated Test Suite Generation for Time-Continuous Simulink Models; ; ;
in Proceedings of the 38th International Conference on Software Engineering (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 (2016)
2015
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines; ; ;
in ACM Transactions on Software Engineering and Methodology (2015), 25(1),
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 (2015)
Search-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies; ; ; ;
in Information and Software Technology (2015), 57
2014
Architecture-Level Configuration of Large-Scale Embedded Software Systems; ;
in ACM Transactions on Software Engineering and Methodology (2014), 23(3),
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2014), 23(1),
Worst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing; ; ;
in International Conference on Principles and Practice of Constraint Programming (2014, September)
MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)
CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)
Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search;
in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July)
2013
PWWM: A Personal Web Workflow Methodology; ; ; ; ;
in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (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 (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 (2013, August)
Minimizing CPU Time Shortage Risks in Integrated Embedded Software; ; ; ; ;
in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)
2012
Model-Based Automated and Guided Configuration of Embedded Software Systems; ; ; ;
in European Conference on Modeling Foundations and Applications (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 (2012)
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques; ; ;
in CSTVA 2012 (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 (2012)
Matching and Merging of Variant Feature Specifications.; ; ; ;
in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375
