Towards an Innovative Model in Wearable Expert System for Skiing. - Elson Kurian; Sherwin Varghese; Stefano Fiorini (MTSR, 2020)

Automated Test Case Generation for Safety-Critical Software in Scade. - Elson Kurian; Pietro Braione; Daniela Briola; Dario D'Avino; Matteo Modonato; Giovanni Denaro (ICSE-SEIP, 2023)

Automatically generating test cases for safety-critical software via symbolic execution. - Elson Kurian; Daniela Briola; Pietro Braione; Giovanni Denaro (J. Syst. Softw., 2023)

Automated Test Generation for Integration Testing. - Elson Kurian; Giovanni Denaro; Pietro Braione; Luca Guglielmo (AST, 2025)