Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩. ⟨cea-02301892⟩

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias. An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181: 47-63 (2019)

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias. Training binary classifiers as data structure invariants. ICSE 2019: 759-770

Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre. Detection of Polluting Test Objectives for Dataflow Criteria. 16th International Conference on Integrated Formal Methods (iFM) 16-20 November, 2020, Lugano, Switzerland, Lecture Notes in Computer Science, Springer, In press. ⟨cea-02974228⟩

Nicky Williams, Towards exhaustive branch coverage with PathCrawler. 2nd ACM/IEEE International Conference on Automation of Software Test (AST 2021), Madrid, Spain, https://hal-cea.archives-ouvertes.fr/cea-03224561

A. Garg, M. Ojdanic, R. Degiovanni, T.T. Chekam, M. Papadakis, Y. Le Traon, Cerebro : Static subsuming mutant selection, IEEE Transactions on Software Engineering pp. 1–1 (2022). DOI 10.1109/TSE.2022.3140510

Renzo Degiovanni, Mike Papadakis. µBert: Mutation Testing using Pre-Trained Language Models. ICST Workshops 2022: 160-169

Nicky Williams, Exhaustive branch coverage with TreeFrog. 38th ACM/SIGAPP Symposium on Applied Computing (SAC-SVT 2023), Tallin, Estonia, March 2023