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

Menghi, C., Spoletini, P., Chechik, M., & Ghezzi, C. (01 November 2019). A verification-driven framework for iterative design of controllers. Formal Aspects of Computing, 31, 459-502. doi:10.1007/s00165-019-00484-1

Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., & Berger, T. (2019). Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2019.2945329

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

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

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

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

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

Ben Abdessalem (helali), R. (2019). Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/39529

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

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

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

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

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

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

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