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 |