Elson Kurian

According to our database, Elson Kurian authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Automatically generating test cases for safety-critical software via symbolic execution.

Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro

J. Syst. Softw., May, 2023

Automated Test Case Generation for Safety-Critical Software in Scade.

Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2020

Towards an Innovative Model in Wearable Expert System for Skiing.

Elson Kurian, Sherwin Varghese, Stefano Fiorini

Proceedings of the Metadata and Semantic Research - 14th International Conference, 2020