List of works - Maxime Cordy - Paulina

List of works by Maxime Cordy

KAPE: <i>k</i> NN-based Performance Testing for Deep Code Search

scientific article published on 16 September 2023

Killing Stubborn Mutants with Symbolic Execution

scientific article published on 03 January 2021

LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing

scientific article published on 31 July 2023

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

scientific article published on 12 April 2024

Paulina is supported by:

About Paulina

Help