Tsoupidi, R.M., CastaƱeda Lozano, R., Baudry, B., 2021. Constraint-based Diversification of JOP Gadgets 72.. https://doi.org/10.1613/jair.1.12848