Home // SnT // People // Shiva Nejati

Shiva Nejati

Senior research scientist

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Research Unit SnT
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E01-106
Email
Telephone (+352) 46 66 44 5329

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: Tuesday, 25 June 2013

powered by
orbilu.uni.lu

In press

Full Text
See detailTest Generation and Test Prioritization for Simulink Models with Dynamic Behavior
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in IEEE Transactions on Software Engineering (in press)

Top of Page

2019

Full Text
See detailAn Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction
Arora, Chetan; Sabetzadeh, Mehrdad; Nejati, Shiva; Briand, Lionel

in ACM Transactions on Software Engineering and Methodology (2019), 28(1),

Full Text
See detailEffective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy
Liu, Bing; Nejati, Shiva; Lucia, Lucia; Briand, Lionel

in Empirical Software Engineering (2019), 24(1), 444-490

Top of Page

2018

Full Text
See detailSoftware Engineering Research and Industry: A Symbiotic Relationship to Foster Impact
Basili, Victor; Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2018), 35(5), 44-49

Full Text
See detailTesting Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Ben Abdessalem (helali), Raja; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) (2018)

Full Text
See detailTesting Autonomous Cars for Feature Interaction Failures using Many-Objective Search
Ben Abdessalem (helali), Raja; Panichella, Annibale; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018) (2018)

Full Text
See detailEnabling Model Testing of Cyber-Physical Systems
Gonzalez Perez, Carlos Alberto; Varmazyar, Mojtaba; Nejati, Shiva; Briand, Lionel; isasi, Yago

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

Full Text
See detailA SysML-Based Methodology for Model Testing of Cyber-Physical Systems
Gonzalez Perez, Carlos Alberto; Varmazyar, Mojtaba; Nejati, Shiva; Briand, Lionel; Isasi, Yago

Report (2018)

Full Text
See detailHITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
Shin, Seung Yeob; Chaouch, Karim; Nejati, Shiva; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

Full Text
See detailTest Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
Shin, Seung Yeob; Nejati, Shiva; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)

Top of Page

2017

Full Text
See detailThe Case for Context-Driven Software Engineering Research
Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2017), 34(5), 72-75

Full Text
See detailImproving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

in 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017)

Full Text
See detailAutomated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

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)

Top of Page

2016

Full Text
See detailTesting Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Ben Abdessalem (helali), Raja; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

in International Conference on Automated Software Engineering (ASE 2016) (2016)

Full Text
See detailTesting the Untestable: Model Testing of Complex Software-Intensive Systems
Briand, Lionel; Nejati, Shiva; Sabetzadeh, Mehrdad; Bianculli, Domenico

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)

Full Text
See detailSimulink Fault Localisation: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Software Testing, Verification & Reliability (2016), 26(6), 431-459

Full Text
See detailLocalizing Multiple Faults in Simulink Models.
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)

Full Text
See detailSimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckamnn, Thomas

in Proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, thomas

in Proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailAutomated Change Impact Analysis between SysML Models of Requirements and Design
Nejati, Shiva; Sabetzadeh, Mehrdad; Arora, Chetan; Briand, Lionel; Mandoux, Felix

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)

Top of Page

2015

Full Text
See detailCombining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
DI ALESIO, Stefano; Briand, Lionel; Nejati, Shiva; GOTLIEB, ARNAUD

in ACM Transactions on Software Engineering & Methodology (2015), 25(1),

Full Text
See detailSimulink Fault Localization: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailEffective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2015)

Full Text
See detailSearch-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in Information and Software Technology (2015), 57

Top of Page

2014

Full Text
See detailArchitecture-Level Configuration of Large-Scale Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Briand, Lionel

in ACM Transactions on Software Engineering & Methodology (2014), 23(3),

Full Text
See detailTraceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

in ACM Transactions on Software Engineering & Methodology (2014), 23(1),

Full Text
See detailWorst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

in International Conference on Principles and Practice of Constraint Programming (2014, September)

Full Text
See detailMiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

Full Text
See detailCoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

Full Text
See detailIdentifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Nejati, Shiva; Briand, Lionel

in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July)

Top of Page

2013

Full Text
See detailPWWM: A Personal Web Workflow Methodology
Chechik, Marsha; Simmonds, Jocelyn; Liaskos, Sotirios; Nejati, Shiva; Sabetzadeh, Mehrdad; Salay, Ricky

in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (2013)

Full Text
See detailStress Testing of Task Deadlines: A Constraint Programming Approach
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

in The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013 (2013)

Full Text
See detailAutomated Model-in-the-Loop Testing of Continuous Controllers using Search
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August)

Full Text
See detailMinimizing CPU Time Shortage Risks in Integrated Embedded Software
Nejati, Shiva; Adedjouma, Morayo; Briand, Lionel; Hellebaut, Jonathan; Begey, Julien; Clement, Yves

in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)

Top of Page

2012

Full Text
See detailModel-Based Automated and Guided Configuration of Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Yue, Tao; Gotlieb, Arnaud; Briand, Lionel

in European Conference on Modeling Foundations and Applications (2012)

Full Text
See detailResearch-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)

Full Text
See detailTesting Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Di Alesio, Stefano; Gotlieb, Arnaud; Nejati, Shiva; Briand, Lionel

in CSTVA 2012 (2012)

Full Text
See detailModeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
Nejati, Shiva; Di Alesio, Stefano; Sabetzadeh, Mehrdad; Briand, Lionel

in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)

Full Text
See detailMatching and Merging of Variant Feature Specifications.
Nejati, Shiva; Sabetzadeh, Mehrdad; Chechik, Marsha; Easterbrook, Steve; Zave, Pamela

in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375

Top of Page