Jan, S., Panichella, A., Arcuri, A., & Briand, L. (2019). Search-based Multi-Vulnerability Testing of XML Injections in Web Applications. Empirical Software Engineering, 24(6), 3696–3729.

Menghi, C., Spoletini, P., Chechik, M., & Ghezzi, C. (2019). A verification-driven framework for iterative design of controllers. Formal Aspects of Computing, 31, 459-502.

Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., & Berger, T. (2019, October 04). Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering.

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

Matinnejad, R., Nejati, S., Briand, L., & Bruckmann, T. (2019). Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering, 45(9), 919-944.

Menghi, C., Nejati, S., Gaaloul, K., & Briand, L. (2019). Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. 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.

Arora, C., Sabetzadeh, M., & Briand, L. (2019). An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements. Empirical Software Engineering, 24(4), 2509–2539.

Boufaied, C., Bianculli, D., & Briand, L. (2019). A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. Journal of Object Technology, 18(2), 15:1-21.

Ben Abdessalem (helali), R. (2019). Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. Unpublished doctoral thesis, University of Luxembourg, ​Luxembourg, ​​Luxembourg.

Mai, X. P., Pastore, F., Goknil, A., & Briand, L. (2019). MCP: A Security Testing Tool Driven by Requirements. 2019 IEEE/ACM 41st International Conference on Software Engineering.

Jan, S., Panichella, A., Arcuri, A., & Briand, L. (2019). Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications. IEEE Transactions on Software Engineering, 45(4), 335-362.

Arora, C., Sabetzadeh, M., Nejati, S., & Briand, L. (2019). An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Transactions on Software Engineering and Methodology, 28(1).

Abualhaija, S., Arora, C., Sabetzadeh, M., Briand, L., & Vaz, E. (2019). A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications. 27th IEEE International Requirements Engineering Conference (RE'19).

Menghi, C., Tsigkanos, C., Berger, T., & Pelliccione, P. (2019). PsALM: specification of dependable robotic missions. Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (pp. 99-102).

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. Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

Wang, C., Pastore, F., & Briand, L. (2019). Oracles for Testing Software Timeliness with Uncertainty. ACM Transactions on Software Engineering and Methodology, 28(1).