Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-Intensive Systems: The Norwegian Customs and Excise Case Study. - Sagar Sen; Carlo Ieva; Arnab Sarkar 003; Atle Sander; Astrid Grime (ISSRE, 2014)

TITAN: Test Suite Optimization for Highly Configurable Software. - Dusica Marijan; Marius Liaaen; Arnaud Gotlieb; Sagar Sen; Carlo Ieva (ICST, 2017)

Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate. - Sagar Sen; Dusica Marijan; Carlo Ieva; Astrid Grime; Atle Sander (IEEE Trans. Reliab., 2017)

Discovering Program Topoi Through Clustering. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (AAAI, 2018)

Discovering Program Topoi via Hierarchical Agglomerative Clustering. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (IEEE Trans. Reliab., 2018)

Unveiling source code latent knowledge: discovering program topoi. (Révéler le contenu latent du code source: à la découverte des topoi de programme). - Carlo Ieva (2018)

Deploying Smart Program Understanding on a Large Code Base. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (AITest, 2019)