Cornejo Olivares, O. E., Pastore, F., & Briand, L. (in press). Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. IEEE Transactions on Software Engineering.

Fahmy, H., Pastore, F., Briand, L., & Stifter, T. (in press). Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems. ACM Transactions on Software Engineering and Methodology.

Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Isasi Parache, Y. (in press). Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Transactions on Software Engineering.