Profil

BRIAND Lionel

Main Referenced Co-authors
SABETZADEH, Mehrdad  (56)
NEJATI, Shiva  (49)
BIANCULLI, Domenico  (40)
PASTORE, Fabrizio  (30)
GÖKNIL, Arda  (15)
Main Referenced Keywords
Natural Language Processing (NLP) (13); Natural Language Processing (12); Machine Learning (11); Case Study Research (9); Security Testing (8);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (120)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (34)
ULHPC - University of Luxembourg: High Performance Computing (15)
Interdisciplinary Centre for Security, Reliability and Trust (4)
Interdisciplinary Centre for Security, Reliability and Trust-University of Luxembourg (2)
Main Referenced Disciplines
Computer science (227)

Publications (total 227)

The most downloaded
4087 downloads
Messaoudi, S., Panichella, A., Bianculli, D., Briand, L., & Sasnauskas, R. (2018). A Search-based Approach for Accurate Identification of Log Message Formats. In Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC ’18) (pp. 167-177). ACM. doi:10.1145/3196321.3196340 https://hdl.handle.net/10993/35286

The most cited

394 citations (Scopus®)

Arcuri, A., & Briand, L. (2012). A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification and Reliability. doi:10.1002/stvr.1486 https://hdl.handle.net/10993/1071

ATTAOUI, M. O., FAHMY, H., PASTORE, F., & BRIAND, L. (In press). Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/58139. doi:10.1145/3643671

BELGACEM, H., Xiaochen Li, BIANCULLI, D., & BRIAND, L. (March 2024). Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. ACM Transactions on Software Engineering and Methodology, 33 (3), 77:1-77:32. doi:10.1145/3635708
Peer Reviewed verified by ORBi

MANDRIOLI, C., SHIN, S. Y., Maggio, M., BIANCULLI, D., & BRIAND, L. (21 December 2023). Stress Testing Control Loops in Cyber-Physical Systems. ACM Transactions on Software Engineering and Methodology, 33 (2), 35:1-25:58. doi:10.1145/3624742
Peer Reviewed verified by ORBi

Lee, J., Vigano, E., Cornejo, O., Pastore, F., & Briand, L. (2023). Fuzzing for CPS Mutation Testing. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering. New York, Unknown/unspecified: IEEE. doi:10.1109/ASEW60602.2023
Peer reviewed

Amaral Cejas, O., Abualhaija, S., & Briand, L. (2023). ML-based Compliance Verification of Data Processing Agreements against GDPR. In Proceedings of the 31st IEEE International Requirements Engineering Conference (RE'23), Hannover, Germany, September 4-8, 2023. IEEE. doi:10.1109/RE57278.2023.00015
Peer reviewed

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

Vigano, E., Cornejo Olivares, O. E., Pastore, F., & Briand, L. (2023). DaMAT: A Data-driven Mutation Analysis Tool. In Companion Proceedings of the 45th International Conference on Software Engineering (ICSE ’23). IEEE. doi:10.1109/ICSE-Companion58688.2023.00047
Peer reviewed

Ali, S., Boufaied, C., BIANCULLI, D., Branco, P., BRIAND, L., & Aschbacher, N. (2023). An Empirical Study on Log-based Anomaly Detection Using Machine Learning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57622.

Amaral Cejas, O., Azeem, M. I., Abualhaija, S., & Briand, L. (2023). NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2023.3288901
Peer reviewed

Bayati Chaleshtari, N., Pastore, F., Goknil, A., & Briand, L. (2023). Metamorphic Testing for Web System Security. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2023.3256322
Peer Reviewed verified by ORBi

Fahmy, H., Pastore, F., Briand, L., & Stifter, T. (2023). Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3569935
Peer reviewed

KHAN, Z. A., Shin, D., BIANCULLI, D., & BRIAND, L. (2023). Impact of Log Parsing on Log-based Anomaly Detection. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57620.

Boufaied, C., Menghi, C., Bianculli, D., & Briand, L. (May 2023). Trace Diagnostics for Signal-based Temporal Properties. IEEE Transactions on Software Engineering, 49 (5), 3131-3154. doi:10.1109/TSE.2023.3242588
Peer Reviewed verified by ORBi

Ul Haq, F., Shin, D., & Briand, L. (2023). Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems. In 45th International Conference on Software Engineering (ICSE ’23). New York, NY, United States: ACM. doi:10.1109/ICSE48619.2023.00155
Peer reviewed

Vigano, E., Cornejo, O., Pastore, F., & Briand, L. (2023). Data-driven Mutation Analysis for Cyber-Physical Systems. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3213041
Peer Reviewed verified by ORBi

Lee, J., Shin, S. Y., Nejati, S., & Briand, L. (2023). Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3546941
Peer reviewed

Belgacem, H., Li, X., Bianculli, D., & Briand, L. (March 2023). A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms. ACM Transactions on Software Engineering and Methodology, 32 (2), 47:1-47:40. doi:10.1145/3533021
Peer reviewed

Hadadi, F., DAWES, J., Shin, D., BIANCULLI, D., & BRIAND, L. (2023). Systematic Evaluation of Deep Learning Models for Failure Prediction. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57615.

Pan, R., Ghaleb, T., & Briand, L. (2023). ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search. In IEEE/ACM International Conference on Software Engineering.
Peer reviewed

Yaraghi, A., Bagherzadeh, M., Kahani, N., & Briand, L. (2023). Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3184842
Peer reviewed

Fatima, S., Ghaleb, T., & Briand, L. (2023). Flakify: A Black-Box, Language Model-Based Predictor for Flaky Tests. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3201209
Peer reviewed

Aghababaeyan, Z., Abdellatif, M., Briand, L., S, R., & Bagherzadeh, M. (2023). Black-Box Testing of Deep Neural Networks through Test Case Diversity. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2023.3243522
Peer reviewed

ABUALHAIJA, S., CECI, M., & BRIAND, L. (2023). Legal Requirements Analysis. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57951.

Ngo, C. D., Pastore, F., & Briand, L. (October 2022). Automated, Cost-effective, and Update-driven App Testing. ACM Transactions on Software Engineering and Methodology, 31 (4), 61. doi:10.1145/3502297
Peer Reviewed verified by ORBi

Cornejo Olivares, O. E., Pastore, F., & Briand, L. (October 2022). Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. IEEE Transactions on Software Engineering, 48 (10), 3913–3939. doi:10.1109/TSE.2021.3107680
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

Lee, J., Shin, S. Y., Nejati, S., & Briand, L. (06 August 2022). Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach. Empirical Software Engineering, 27. doi:10.1007/s10664-022-10170-1
Peer Reviewed verified by ORBi

Ngo, C. D., Pastore, F., & Briand, L. (2022). ATUA: an update-driven app testing tool. In The 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 765-768). New York, NY, United States: Association for Computing Machinery (ACM). doi:10.1145/3533767.3543293
Peer reviewed

Khan, Z. A., Shin, D., Bianculli, D., & Briand, L. (2022). Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. In Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (pp. 1095-1106). New York, NY, United States: ACM. doi:10.1145/3510003.3510101
Peer reviewed

Attaoui, M. O., Fahmy, H., Pastore, F., & Briand, L. (2022). Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3550271
Peer Reviewed verified by ORBi

Cornejo Olivares, O. E., Pastore, F., & Briand, L. (2022). MASS: A tool for Mutation Analysis of Space CPS. In 2022 IEEE/ACM 44st International Conference on Software Engineering. United States: IEEE. doi:10.1145/3510454.3516840
Peer reviewed

Ul Haq, F., Shin, D., & Briand, L. (2022). Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization. In Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (pp. 811-822). New York, NY, United States: ACM. doi:10.1145/3510003.3510188
Peer reviewed

Fahmy, H., Pastore, F., & Briand, L. (2022). HUDD: A tool to debug DNNs for safety analysis. In 2022 IEEE/ACM 44th International Conference on Software Engineering. Pittsburgh, PA, United States: ACM/IEEE. doi:10.1145/3510454.3516858
Peer reviewed

Shin, D., Bianculli, D., & Briand, L. (2022). PRINS: Scalable Model Inference for Component-based System Logs. Empirical Software Engineering. doi:10.1007/s10664-021-10111-4
Peer Reviewed verified by ORBi

Le, H. T., Shar, L. K., Bianculli, D., Briand, L., & Nguyen, D. C. (February 2022). Automated Reverse Engineering of Role-based Access Control Policies of Web Applications. Journal of Systems and Software, 184, 111109. doi:10.1016/j.jss.2021.111109
Peer Reviewed verified by ORBi

Wang, C., Pastore, F., Göknil, A., & Briand, L. (01 February 2022). Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach. IEEE Transactions on Software Engineering, 48 (2), 585 - 616. doi:10.1109/TSE.2020.2998503
Peer reviewed

Abualhaija, S., Arora, C., & Briand, L. (2022). COREQQA: A COmpliance REQuirements Understanding using Question Answering Tool. In ACM SIGSOFT CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (pp. 2022). Association for Computing Machinery. doi:10.1145/3540250.3558926
Peer reviewed

Pan, R., Bagherzadeh, M., Ghaleb, T., & Briand, L. (2022). Test case selection and prioritization using machine learning: a systematic literature review. Empirical Software Engineering, 27. doi:10.1007/s10664-021-10066-6
Peer Reviewed verified by ORBi

Abualhaija, S., Arora, C., Sleimi, A., & Briand, L. (2022). Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study. In Proceedings of the 30th IEEE International Requirements Engineering Conference (RE'22), Melbourne, Australia 15-19 August 2022 (pp. 39-50). IEEE. doi:10.1109/RE54965.2022.00011
Peer reviewed

Amaral Cejas, O., Abualhaija, S., Torre, D., Sabetzadeh, M., & Briand, L. (2021). AI-enabled Automation for Completeness Checking of Privacy Policies. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2021.3124332
Peer reviewed

Shin, D., Khan, Z. A., Bianculli, D., & Briand, L. (2021). A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. In Proceedings of the 21st International Conference on Runtime Verification (pp. 277-287). Springer. doi:10.1007/978-3-030-88494-9_16
Peer reviewed

LI, X., BIANCULLI, D., & BRIAND, L. (2021). An AI-based Approach for Tracing Content Requirements in Financial Documents. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57626.

Amaral Cejas, O., Abualhaija, S., Sabetzadeh, M., & Briand, L. (2021). A Model-based Conceptualization of Requirements for Compliance Checking of Data Processing against GDPR. In Proceedings of the 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW). IEEE. doi:10.1109/REW53955.2021.00009
Peer reviewed

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

Ul Haq, F., Shin, D., Briand, L., Stifter, T., & Wang, J. (2021). Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper). In 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (pp. 91-102).
Peer reviewed

Veizaga Campero, A. M., Alferez, M., Torre, D., Sabetzadeh, M., & Briand, L. (July 2021). On Systematically Building a Controlled Natural Language for Functional Requirements. Empirical Software Engineering, 26 (4), 79. doi:10.1007/s10664-021-09956-6
Peer reviewed

Messaoudi, S., Shin, D., Panichella, A., Bianculli, D., & Briand, L. (2021). Log-based Slicing for System-level Test Cases. In Proceedings of ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 517-528). doi:10.1145/3460319.3464824
Peer reviewed

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082
Peer reviewed

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). ThEodorE: a Trace Checker for CPS Properties. In Companion Proceedings of the 43rd International Conference on Software Engineering. IEEE. doi:10.1109/ICSE-Companion52605.2021.00079
Peer reviewed

Ezzini, S., Abualhaija, S., Arora, C., Sabetzadeh, M., & Briand, L. (2021). MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity. In Proceedings of the 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE. doi:10.1109/ICSE-Companion52605.2021.00082
Peer reviewed

Fahmy, H., Pastore, F., Bagherzadeh, M., & Briand, L. (May 2021). Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. IEEE Transactions on Reliability, 70 (4), 1641-1657. doi:10.1109/TR.2021.3074750
Peer reviewed

Ezzini, S., Abualhaija, S., Arora, C., Sabetzadeh, M., & Briand, L. (2021). Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements. In Proceedings of the 43rd International Conference on Software Engineering (ICSE'21), Madrid 25-28 May 2021. IEEE. doi:10.1109/ICSE43902.2021.00133
Peer reviewed

Bagherzadeh, M., Kahani, N., & Briand, L. (02 April 2021). Reinforcement Learning for Test Case Prioritization. IEEE Transactions on Software Engineering, 48 (8), 2836 - 2856. doi:10.1109/TSE.2021.3070549
Peer Reviewed verified by ORBi

Boufaied, C., Jukss, M., Bianculli, D., Briand, L., & Yago, I. P. (April 2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 110881. doi:10.1016/j.jss.2020.110881
Peer Reviewed verified by ORBi

Sleimi, A., Sannier, N., Sabetzadeh, M., Briand, L., Ceci, M., & Dann, J. (24 March 2021). An Automated Framework for the Extraction of Semantic Legal Metadata from Legal Texts. Empirical Software Engineering, 26 (3), 43. doi:10.1007/s10664-020-09933-5
Peer Reviewed verified by ORBi

Torre, D., Alferez, M., Soltana, G., Sabetzadeh, M., & Briand, L. (2021). Modeling Data Protection and Privacy: Application and Experience with GDPR. Software and Systems Modeling. doi:10.1007/s10270-021-00935-5
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

Veizaga Campero, A. M., Alferez, M., Torre, D., Sabetzadeh, M., Briand, L., & Pitskhelauri, E. (2020). Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models. In Proceedings of 23rd ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (pp. 218-228). doi:10.1145/3365438.3410953
Peer reviewed

Boufaied, C., Menghi, C., Bianculli, D., Briand, L., & Isasi Parache, Y. (2020). Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20). doi:10.5381/JOT.2019.18.2.A15
Peer reviewed

Torre, D., Abualhaija, S., Sabetzadeh, M., Briand, L., Baetens, K., Goes, P., & Forastier, S. (2020). An AI-assisted Approach for Checking the Completeness of Privacy Policies Against GDPR. In Proceedings of the 28th IEEE International Requirements Engineering Conference (RE’20), Zurich, Switzerland, August 31 - September 04, 2020 (pp. 136-146). IEEE. doi:10.1109/RE48521.2020.00025
Peer reviewed

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

Soltana, G., Sabetzadeh, M., & Briand, L. (April 2020). Practical Constraint Solving for Generating System Test Data. ACM Transactions on Software Engineering and Methodology, 29 (2), 11:1-11:48. doi:10.1145/3381032
Peer Reviewed verified by ORBi

SHIN, D., BIANCULLI, D., & BRIAND, L. (2020). Effective Removal of Operational Log Messages: an Application to Model Inference. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57625.

Mai, X. P., Pastore, F., Goknil, A., & Briand, L. (2020). Metamorphic Security Testing for Web Systems. In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE. doi:10.1109/ICST46399.2020.00028
Peer reviewed

Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (February 2020). An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications through Security Slicing and Hybrid Constraint Solving. IEEE Transactions on Software Engineering, 46 (2), 163--195. doi:10.1109/TSE.2018.2844343
Peer reviewed

Sleimi, A., Ceci, M., Sabetzadeh, M., Briand, L., & Dann, J. (2020). Automated Recommendation of Templates for Legal Requirements. In Proceedings of the 28th IEEE International Requirements Engineering Conference (RE'20).
Peer reviewed

Mai, X. P., Göknil, A., Pastore, F., & Briand, L. (2020). SMRL: A Metamorphic Security Testing Tool for Web Systems. In 2020 IEEE/ACM 42nd International Conference on Software Engineering. doi:10.1145/3377812.3382152
Peer reviewed

Hajri, I., Göknil, A., Pastore, F., & Briand, L. (2020). Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. Empirical Software Engineering, 25 (5), 3711–3769. doi:10.1007/s10664-020-09853-4
Peer Reviewed verified by ORBi

Bettaieb, S., Shin, S. Y., Sabetzadeh, M., Briand, L., Garceau, M., & Meyers, A. (2020). Using Machine Learning to Assist with the Selection of Security Controls During Security Assessment. Empirical Software Engineering, 25 (4), 2550–2582. doi:10.1007/s10664-020-09814-x
Peer Reviewed verified by ORBi

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

Abualhaija, S., Arora, C., Sabetzadeh, M., Briand, L., & Traynor, M. (2020). Automated Demarcation of Requirements in Textual Specifications: A Machine Learning-Based Approach. Empirical Software Engineering. doi:10.1007/s10664-020-09864-1
Peer reviewed

Amalio, N., Briand, L., & Kelsen, P. (2019). An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empirical Software Engineering. doi:10.1007/s10664-019-09784-9
Peer Reviewed verified by ORBi

Jan, S., Panichella, A., Arcuri, A., & Briand, L. (December 2019). Search-based Multi-Vulnerability Testing of XML Injections in Web Applications. Empirical Software Engineering, 24 (6), 3696–3729. doi:10.1007/s10664-019-09707-8
Peer Reviewed verified by ORBi

Alferez, M., Pastore, F., Sabetzadeh, M., Briand, L., & Riccardi, J.-R. (2019). Bridging the Gap between Requirements Modeling and Behavior-driven Development. In Proceedings of 22nd IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS). doi:10.1109/MODELS.2019.00008
Peer reviewed

Torre, D., Soltana, G., Sabetzadeh, M., Briand, L., Auffinger, Y., & Goes, P. (2019). Using Models to Enable Compliance Checking against the GDPR: An Experience Report. In Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 19) (pp. 1-11). ACM/IEEE. doi:10.1109/MODELS.2019.00-20
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

Boufaied, C., Bianculli, D., & Briand, L. (July 2019). A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. Journal of Object Technology, 18 (2), 15:1-21. doi:10.5381/jot.2019.18.2.a15
Peer Reviewed verified by ORBi

Arora, C., Sabetzadeh, M., & Briand, L. (July 2019). An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements. Empirical Software Engineering, 24 (4), 2509–2539. doi:10.1007/s10664-019-09693-x
Peer Reviewed verified by ORBi

Mai, X. P., Pastore, F., Goknil, A., & Briand, L. (2019). MCP: A Security Testing Tool Driven by Requirements. In 2019 IEEE/ACM 41st International Conference on Software Engineering. United States: IEEE. doi:10.1109/ICSE-Companion.2019.00037
Peer reviewed

Jan, S., Panichella, A., Arcuri, A., & Briand, L. (April 2019). Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications. IEEE Transactions on Software Engineering, 45 (4), 335-362. doi:10.1109/TSE.2017.2778711
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

Sleimi, A., Ceci, M., Sannier, N., Sabetzadeh, M., Briand, L., & Dann, J. (2019). A Query System for Extracting Requirements-related Information from Legal Texts. In Proceedings of the 27th IEEE International Requirements Engineering Conference (RE'19), pp. 319-329.
Peer reviewed

Abualhaija, S., Arora, C., Sabetzadeh, M., Briand, L., & Vaz, E. (2019). A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications. In Proceedings of the 27th IEEE International Requirements Engineering Conference (RE'19), Jeju, Korea (South), 23-27 September, 2019. IEEE. doi:10.1109/RE.2019.00017
Peer reviewed

Wang, C., Pastore, F., & Briand, L. (2019). Oracles for Testing Software Timeliness with Uncertainty. ACM Transactions on Software Engineering and Methodology, 28 (1). doi:10.1145/3280987
Peer Reviewed verified by ORBi

Bettaieb, S., Shin, S. Y., Sabetzadeh, M., Briand, L., Nou, G., & Garceau, M. (2019). Decision Support for Security-Control Identification Using Machine Learning. In International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019.
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

Dou, W., Bianculli, D., & Briand, L. (2018). Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. In Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) (pp. 277-288). New York, United States: ACM. doi:10.1145/3239372.3239396
Peer reviewed

Appelt, D., Nguyen, D. C., Panichella, A., & Briand, L. (September 2018). A Machine Learning-Driven Evolutionary Approach for Testing Web Application Firewalls. IEEE Transactions on Reliability, 67 (3), 733-757. doi:10.1109/TR.2018.2805763
Peer Reviewed verified by ORBi

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

Ben Fadhel, A., Bianculli, D., & Briand, L. (2018). Model-driven Run-time Enforcement of Complex Role-based Access Control Policies. In Proceeding of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18) (pp. 248-258). New York, United States: ACM. doi:10.1145/3238147.3238167
Peer reviewed

Sleimi, A., Sannier, N., Sabetzadeh, M., Briand, L., & Dann, J. (2018). Automated Extraction of Semantic Legal Metadata Using Natural Language Processing. In the 26th IEEE International Requirements Engineering Conference, Banff, Alberta, 20-24 August 2018 (pp. 124-135).
Peer reviewed

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

Hajri, I., Göknil, A., Briand, L., & Stephany, T. (July 2018). Configuring use case models in product families. Software and Systems Modeling, 17 (3), 939-971. doi:10.1007/s10270-016-0539-8
Peer Reviewed verified by ORBi

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.

Hajri, I., Göknil, A., Briand, L., & Stephany, T. (May 2018). Change Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models. Journal of Systems and Software, 139, 211-237. doi:10.1016/j.jss.2018.02.021
Peer Reviewed verified by ORBi

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

Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2018). Security Slicing for Auditing Common Injection Vulnerabilities. Journal of Systems and Software, 137 (March, 2018), 766-783. doi:10.1016/j.jss.2017.02.040
Peer Reviewed verified by ORBi

Messaoudi, S., Panichella, A., Bianculli, D., Briand, L., & Sasnauskas, R. (2018). A Search-based Approach for Accurate Identification of Log Message Formats. In Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC ’18) (pp. 167-177). ACM. doi:10.1145/3196321.3196340
Peer reviewed

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

Mai, X. P., Pastore, F., Göknil, A., & Briand, L. (2018). A Natural Language Programming Approach for Requirements-based Security Testing. In 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). IEEE. doi:DOI:10.1109/1SSRE.2018.00017
Peer reviewed

Wang, C., Pastore, F., & Briand, L. (2018). Automated Generation of Constraints from Use Case Specifications to Support System Testing. In Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification. doi:10.1109/ICST.2018.00013
Peer reviewed

Mai, X. P., Göknil, A., Shar, L. K., Pastore, F., Briand, L., & Shaame, S. (2018). Modeling Security and Privacy Requirements: a Use Case-Driven Approach. Information and Software Technology, 100, 165-182. doi:10.1016/j.infsof.2018.04.007
Peer reviewed

Soltana, G., Sannier, N., Sabetzadeh, M., & Briand, L. (2018). Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation. Software and Systems Modeling, 17 (3), 851-883. doi:10.1007/s10270-016-0542-0
Peer Reviewed verified by ORBi

Dou, W., Bianculli, D., & Briand, L. (2017). TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (pp. 64-70). EasyChair.
Peer reviewed

Appelt, D., Panichella, A., & Briand, L. (2017). Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks. In The 28th IEEE International Symposium on Software Reliability Engineering (ISSRE) (pp. 339-350). IEEE. doi:10.1109/ISSRE.2017.28
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., & Zimmer, F. (October 2017). Automated Extraction and Clustering of Requirements Glossary Terms. IEEE Transactions on Software Engineering, 43 (10), 918-945. doi:10.1109/TSE.2016.2635134
Peer reviewed

Dou, W., Bianculli, D., & Briand, L. (2017). A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties. In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ). doi:10.1109/MODELS.2017.9
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

Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2017). JoanAudit: A Tool for Auditing Common Injection Vulnerabilities. In 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM. doi:10.1145/3106237.3122822
Peer reviewed

Sannier, N., Sabetzadeh, M., & Briand, L. (2017). From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project. In the IEEE 25th International Requirements Engineering Conference, Lisbon, Portugal, 4-8 September 2017 (pp. 204-208).
Peer reviewed

Sannier, N., Adedjouma, M., Sabetzadeh, M., Briand, L., Dann, J., Hisette, M., & Thill, P. (2017). Legal Markup Generation in the Large: An Experience Report. In the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (pp. 302-311). doi:10.1109/RE.2017.10
Peer reviewed

Mai, X. P., Göknil, A., Shar, L. K., & Briand, L. (2017). Modeling Security and Privacy Requirements for Mobile Applications: a Use Case-driven Approach. (TR-SNT-2017-3). SnT, University of Luxembourg.

Di Nardo, D., Pastore, F., & Briand, L. (July 2017). Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes. ACM Transactions on Software Engineering and Methodology, 26 (1), 1-40. doi:10.1145/3053430
Peer Reviewed verified by ORBi

Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2017). Search-driven String Constraint Solving for Vulnerability Detection. In Proceedings of the 39th International Conference on Software Engineering (ICSE 2017). ACM. doi:10.1109/ICSE.2017.26
Peer reviewed

Wang, C., Pastore, F., & Briand, L. (2017). System Testing of Timing Requirements based on Use Cases and Timed Automata. In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017. doi:10.1109/ICST.2017.34
Peer reviewed

Hajri, I., Göknil, A., & Briand, L. (2017). A Change Management Approach in Product Lines for Use Case-Driven Development and Testing. In 23rd International Working Conference on Requirements Engineering: Foundation for software Quality (REFSQ 2017).
Peer reviewed

Hajri, I., Göknil, A., Briand, L., & Stephany, T. (2017). Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions. In 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017) (pp. 3-21). doi:10.1007/978-3-319-54045-0_1
Peer reviewed

Sannier, N., Adedjouma, M., Sabetzadeh, M., & Briand, L. (2017). An Automated Framework for Detection and Resolution of Cross References in Legal Texts. Requirements Engineering, 22 (2), 215-237. doi:10.1007/s00766-015-0241-3
Peer Reviewed verified by ORBi

Jan, S., Nguyen, D. C., Andrea, A., & Briand, L. (2017). A Search-based Testing Approach for XML Injection Vulnerabilities in Web Applications. In 10th IEEE International Conference on Software Testing, Verification and validation (ICST 2017), Tokyo 13-18 March 2017. doi:10.1109/ICST.2017.39
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. (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

Soltana, G., Sabetzadeh, M., & Briand, L. (2017). Synthetic Data Generation for Statistical Testing. In 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17) (pp. 872-882). IEEE. doi:10.1109/ASE.2017.8115698
Peer reviewed

Hajri, I., Göknil, A., Briand, L., & Stephany, T. (2016). PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line. In 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (pp. 1008-1012). doi:10.1145/2950290.2983935
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., & Zimmer, F. (2016). Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation. In 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016.
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

Jan, S., Nguyen, D. C., & Briand, L. (2016). Automated and Effective Testing of Web Services for XML Injection Attacks. In ISSTA'16-The International Symposium on Software Testing and Analysis, Saarbrücken 18-20 July 2016 (pp. 12-23).
Peer reviewed

Le, H. T., Nguyen, D. C., & Briand, L. (2016). ReACP: A Semi-Automated Framework for Reverse-engineering and Testing of Access Control Policies of Web Applications. (978-2-87971-034-1).

Ben Fadhel, A., Bianculli, D., & Briand, L. (2016). GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies. In 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016). ACM. doi:10.1145/2914642.2914656
Peer reviewed

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

Ben Fadhel, A., Bianculli, D., & Briand, L. (2016). GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies. (TR-SNT-2016-4). SnT Centre - University of Luxembourg.

Appelt, D., Nguyen, D. C., & Briand, L. (2016). Automated Testing of Web Application Firewalls. (TR-SnT-2016-1).

Rogstad, E., & Briand, L. (March 2016). Clustering Deviations for Black Box Regression Testing of Database Applications. IEEE Transactions on Reliability, 65 (1), 4-18. doi:10.1109/TR.2015.2437840
Peer Reviewed verified by ORBi

Ben Fadhel, A., Bianculli, D., Briand, L., & Hourte, B. (2016). A model-driven approach to representing and checking RBAC contextual policies. In Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (pp. 243-253). doi:10.1145/2857705.2857709
Peer reviewed

Sannier, N., Adedjouma, M., Sabetzadeh, M., & Briand, L. (2016). Automated Classification of Legal Cross References Based on Semantic Intent. In 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16). doi:10.1007/978-3-319-30282-9_8
Peer reviewed

Rogstad, E., & Briand, L. (2016). Cost-effective Strategies for the Regression Testing of Database Applications: Case study and Lessons Learned. Journal of Systems and Software, 113, 257–274. doi:10.1016/j.jss.2015.12.003
Peer reviewed

Ceccato, M., Nguyen, D. C., Appelt, D., & Briand, L. (2016). SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities. In Proceedings of the 31th IEEE/ACM International Conference on Automated Software Engineering.
Peer reviewed

Soltana, G., Sabetzadeh, M., & Briand, L. (2016). Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation. In 24th IEEE International Conference on Requirements Engineering (RE'16) (pp. 303-312). IEEE. doi:10.1109/RE.2016.11
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

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., & 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

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

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

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

Di Nardo, D., Pastore, F., Arcuri, A., & Briand, L. (2015). Evolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation. In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (pp. 126-137). doi:10.1109/ASE.2015.13
Peer reviewed

Hajri, I., Göknil, A., Briand, L., & Stephany, T. (2015). Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach. In 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada (pp. 338-347). doi:10.1109/MODELS.2015.7338265
Peer reviewed

Wang, C., Pastore, F., Göknil, A., Briand, L., & Iqbal, Z. (2015). UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications. In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (pp. 942-945). doi:10.1145/2786805.2803187
Peer reviewed

Arora, C., Sabetzadeh, M., Göknil, A., Briand, L., & Zimmer, F. (2015). NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements. In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (pp. 962-965). doi:10.1145/2786805.2803185
Peer reviewed

Jan, S., Nguyen, D. C., & Briand, L. (2015). Known XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems. In The 2015 IEEE International Conference on Software Quality, Reliability & Security, Vancouver 3-5 August 2015.
Peer reviewed

Arora, C., Sabetzadeh, M., Göknil, A., Briand, L., & Zimmer, F. (2015). Change Impact Analysis for Natural Language Requirements: An NLP Approach. In 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015.
Peer reviewed

Wang, C., Pastore, F., Göknil, A., Briand, L., & Iqbal, Z. (2015). Automatic Generation of System Test Cases from Use Case Specifications. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA' 15), July 2015, USA.
Peer reviewed

Le, H. T., Nguyen, D. C., Briand, L., & Hourte, B. (2015). Automated Inference of Access Control Policies for Web Applications. In 20th ACM Symposium on Access Control Models and Technologies (SACMAT), 1-3 June 2015. doi:10.1145/2752952.2752969
Peer reviewed

Di Nardo, D., Alshahwan, N., Briand, L., & Labiche, Y. (June 2015). Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system. Software Testing, Verification and Reliability, 25 (4), 371-396. doi:10.1002/stvr.1572
Peer Reviewed verified by ORBi

Ben Fadhel, A., Bianculli, D., & Briand, L. (29 May 2015). A Comprehensive Modeling Framework for Role-based Access Control Policies. Journal of Systems and Software, 107 (September,2015), 110-126. doi:10.1016/j.jss.2015.05.015
Peer Reviewed verified by ORBi

Yue, T., Briand, L., & Labiche, Y. (13 May 2015). aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. ACM Transactions on Software Engineering and Methodology, 24 (3). doi:10.1145/2699697
Peer Reviewed verified by ORBi

Arora, C., Sabetzadeh, M., Briand, L., & Zimmer, F. (01 May 2015). Automated Checking of Conformance to Requirements Templates using Natural Language Processing. IEEE Transactions on Software Engineering, 41 (10), 944 - 968. doi:10.1109/TSE.2015.2428709
Peer reviewed

Di Nardo, D., Pastore, F., & Briand, L. (2015). Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis. In Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on. doi:10.1109/ICST.2015.7102589
Peer reviewed

Appelt, D., Nguyen, D. C., & Briand, L. (2015). Behind an Application Firewall, Are We Safe from SQL Injection Attacks? In 2015 IEEE 8th International Conference on Software Testing, Verification, and Validation (ICST). doi:10.1109/ICST.2015.7102581
Peer reviewed

Shar, L. K., Briand, L., & Tan, H. B. K. (2015). Web Application Vulnerability Prediction using Hybrid Program Analysis and Machine Learning. IEEE Transactions on Dependable and Secure Computing, 12 (6), 688-707. doi:10.1109/TDSC.2014.2373377
Peer reviewed

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

Soltana, G., Sannier, N., Sabetzadeh, M., & Briand, L. (2015). A Model-Based Framework for Probabilistic Simulation of Legal Policies. In 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (pp. 70-79). IEEE. doi:10.1109/MODELS.2015.7338237
Peer reviewed

Thome, J., Shar, L. K., & Briand, L. (2015). Security Slicing for Auditing XML, XPath, and SQL Injection Vulnerabilities. In 26th IEEE International Symposium on Software Reliability Engineering. IEEE. doi:10.1109/ISSRE.2015.7381847
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

Liu, B., Lucia, L., Nejati, S., & Briand, L. (2015). Simulink Fault Localization: an Iterative Statistical Debugging Approach. (TR-SnT-2015-8).

Matinnejad, R., Nejati, S., & Briand, L. (2015). Automated Test Suite Generation for Time-Continuous Simulink Models. (TR-SnT-2015-7).

Ben Fadhel, A., Bianculli, D., & Briand, L. (2014). A Comprehensive Modeling Framework for Role-based Access Control Policies. (TR-SnT-2014-15). SnT Centre - University of Luxembourg.

Araujo, W., Briand, L., & Labiche, Y. (01 October 2014). On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object- Oriented Software. IEEE Transactions on Software Engineering, 40 (10), 971-992. doi:10.1109/TSE.2014.2339829
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., & Zimmer, F. (2014). Improving Requirements Glossary Construction via Clustering: Approach and Industrial Case Studies. In 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014).
Peer reviewed

Dou, W., Bianculli, D., & Briand, L. (2014). Revisiting Model-driven Engineering for Run-time Verification of Business Processes. In Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014). Springer.
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

Adedjouma, M., Sabetzadeh, M., & Briand, L. (2014). Automated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation. In 22nd IEEE International Requirements Engineering Conference. doi:10.1109/RE.2014.6912248
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., & Zimmer, F. (2014). Requirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns. In Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on. IEEE. doi:10.1109/RePa.2014.6894837
Peer reviewed

Holt, N., Briand, L., & Torkar, R. (August 2014). Empirical Evaluations on the Cost-Effectiveness of State-Based Testing: An Industrial Case Study. Information and Software Technology, 56 (8), 890–910. doi:10.1016/j.infsof.2014.02.011
Peer reviewed

Appelt, D., Nguyen, D. C., Briand, L., & Alshahwan, N. (2014). Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach. In Proc. of the International Symposium on Software Testing and Analysis 2014.
Peer reviewed

Dou, W., Bianculli, D., & Briand, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014). Springer.
Peer reviewed

Nair, S., de la Vara, J. L., Sabetzadeh, M., & Briand, L. (July 2014). An Extended Systematic Literature Review on Provision of Evidence for Safety Certification. Information and Software Technology, 56 (7), 689–717. doi:10.1016/j.infsof.2014.03.001
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., & van der Hoek, A. (2014). Insights and Lessons Learned from Analyzing ICSE 2014 Survey and Review Data. (TR-SnT-2014-6). University of Luxembourg.

Dou, W., Bianculli, D., & Briand, L. (2014). A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL. (SnT-TR-2014-5). SnT Centre - University of Luxembourg.

Iqbal, Z., Ali, S., Yue, T., & Briand, L. (2014). Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Software and Systems Modeling. doi:10.1007/s10270-014-0405-5
Peer reviewed

Dou, W., Bianculli, D., & Briand, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. (TR-SnT-2014-2). SnT Centre - University of Luxembourg.

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

Appelt, D., Alshahwan, N., Nguyen, D. C., & Briand, L. (2014). Black-box SQL Injection Testing. (TR-SnT-2014-1).

Rubab, I., Ali, S., Briand, L., & Le Traon, Y. (2014). Model-Based Testing of Obligations. In 14th Annual International Conference on Quality Software (QSIC) (pp. 1-10). Los Alamitos, Unknown/unspecified: Ieee Computer Soc. doi:10.1109/QSIC.2014.47
Peer reviewed

Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., & Briand, L. (2014). Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law. In 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (pp. 450-466). Springer International Publishing. doi:10.1007/978-3-319-11653-2_28
Peer reviewed

Di Nardo, D., Alshahwan, N., Briand, L., Fourneret, E., Nakic-Alfirevic, T., & Masquelier, V. (2013). Model Based Test Validation and Oracles for Data Acquisition Systems. In IEEE/ACM International Conference on Automated Software Engineering. doi:10.1109/ASE.2013.6693111
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., Zimmer, F., & Gnaga, R. (2013). Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study. In 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013).
Peer reviewed

Arora, C., Sabetzadeh, M., Briand, L., Zimmer, F., & Gnaga, R. (2013). RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates. In 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013). doi:10.1145/2491411.2494591
Peer reviewed

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

Iqbal, M. Z., Arcuri, A., & Briand, L. (2013). Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software. Software and Systems Modeling. doi:10.1007/s10270-013-0328-6
Peer reviewed

Di Nardo, D., Alshahwan, N., Briand, L., & Labiche, Y. (2013). Coverage-Based Test Case Prioritisation: An Industrial Case Study. In IEEE International Conference on Software Testing, Verification and Validation (ICST). doi:10.1109/ICST.2013.27
Peer reviewed

Elaasar, M., Briand, L., & Labiche, Y. (2013). VPML: an approach to detect design patterns of MOF-based modeling languages. Software and Systems Modeling, 1-30. doi:10.1007/s10270-013-0325-9
Peer reviewed

Ali, S., Iqbal, Z., Arcuri, A., & Briand, L. (2013). Generating Test Data from OCL Constraints with Search Techniques. IEEE Transactions on Software Engineering, 39 (10). doi:10.1109/TSE.2013.17
Peer reviewed

Appelt, D., Alshahwan, N., & Briand, L. (2013). Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing. In Springer LNCS series.
Peer reviewed

Chandramohan, M., Tan, B. K., Briand, L., Lwin Khin, S., & Padmanabhuni, B. M. (2013). A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling. In IEEE/ACM Automated Software Engineering (ASE). doi:10.1109/ASE.2013.6693090
Peer reviewed

Ali, S., Yue, T., & Briand, L. (2013). Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. In IEEE International Conference on Software Testing, Verification, and Validation, Luxembourg. IEEE Computer Society. doi:10.1109/ICST.2013.15
Peer reviewed

Panesar-Walawege, R., Sabetzadeh, M., & Briand, L. (2013). Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation. Information and Software Technology, 55 (1), 836-864. doi:10.1016/j.infsof.2012.11.009
Peer reviewed

Behjati, R., Yue, T., Briand, L., & Selic, B. (2013). SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems. Information and Software Technology, 55 (3). doi:10.1016/j.infsof.2012.09.006
Peer reviewed

Nair, S., de la Vara, J., Sabetzadeh, M., & Briand, L. (2013). Classification, structuring, and assessment of evidence for safety: A systematic literature review. In International Conference on Software Testing, Verification, and Validation, Luxembourg 2013. IEEE Computer Society. doi:10.1109/ICST.2013.30
Peer reviewed

Lwin Khin, S., Tan, B. K., & Briand, L. (2013). Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis. In ACM/IEEE International Conference on Software Engineering, San Fransisco, USA.
Peer reviewed

Briand, L., Labiche, Y., & Chen, K. (2013). A Multi-Objective Genetic Algorithm to Rank State-Based Test Cases. In 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science.
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

Sabetzadeh, M., Falessi, D., Briand, L., & Di Alesio, S. (2013). A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation. Reliability Engineering and System Safety, 119, 52-66. doi:10.1016/j.ress.2013.05.005
Peer reviewed

Arcuri, A., & Briand, L. (2012). Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing. IEEE Transactions on Software Engineering, 38 (5), 1088-1099. doi:10.1109/TSE.2011.85
Peer reviewed

Iqbal, M. Z., Ali, S., Yue, T., & Briand, L. (2012). Experiences of applying UML/MARTE on three industrial projects. In ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (pp. 642-658). Springer-Verlag. doi:10.1007/978-3-642-33666-9_41
Peer reviewed

Falessi, D., Sabetzadeh, M., Briand, L., Turella, E., Coq, T., & Panesar-Walawege, R. K. (2012). Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach. IEEE Software, 29 (3), 64-70. doi:10.1109/MS.2011.116
Peer Reviewed verified by ORBi

Ali, S., Yue, T., Briand, L., & Walawege, S. (2012). A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study. In ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (pp. 726-742). Springer-Verlag. doi:10.1007/978-3-642-33666-9_46
Peer reviewed

Iqbal, M. Z., Arcuri, A., & Briand, L. (2012). Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software. In ACM International Symposium on Software Testing and Analysis (pp. 199-209). ACM. doi:10.1145/2338965.2336777
Peer reviewed

Behjati, R., Yue, T., & Briand, L. (2012). A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. In ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (pp. 497-513). Springer-Verlag. doi:10.1007/978-3-642-33666-9_32
Peer reviewed

Iqbal, M. Z., Arcuri, A., & Briand, L. (2012). Combining Search-based and Adaptive Random Testing Strategies for Environment Model-based Testing of Real-time Embedded Systems. In 4th Symposium on Search Based Software Engineering (pp. 136-151). Springer-Verlag. doi:10.1007/978-3-642-33119-0_11
Peer reviewed

Holt, N. E., Torkar, R., Briand, L., & Hansen, K. (2012). State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies. In IEEE International Symposium on Software Reliability Engineering. IEEE Computer Society.
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

Arcuri, A., & Briand, L. (2012). A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification and Reliability. doi:10.1002/stvr.1486
Peer reviewed

Ali, S., Yue, T., & Briand, L. (2012). Does aspect-oriented modeling help improve the readability of UML state machines? Software and Systems Modeling. doi:10.1007/s10270-012-0293-5
Peer reviewed

Contact ORBilu