KURIAN ELSON

(2023). On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software. (Tesi di dottorato, Università degli Studi di Milano-Bicocca, 2023). Dettaglio

Kurian, E., Braione, P., Briola, D., D'Avino, D., Modonato, M., Denaro, G. (2023). Automated Test Case Generation for Safety-Critical Software in Scade. In Proceedings - International Conference on Software Engineering (pp.483-494). IEEE Computer Society [10.1109/ICSE-SEIP58684.2023.00049]. Dettaglio

Kurian, E., Briola, D., Braione, P., Denaro, G. (2023). Automatically generating test cases for safety-critical software via symbolic execution. THE JOURNAL OF SYSTEMS AND SOFTWARE, 199 [10.1016/j.jss.2023.111629]. Dettaglio

Kurian, E., Varghese, S. (2021). Relevance of Bots in Software and Their Impacts on Software Security. In Proceedings of the World Congress on Engineering 2021 (pp.207-212). Dettaglio

Kurian, E., Varghese, S., Fiorini, S. (2021). Towards an Innovative Model in Wearable Expert System for Skiing. In Metadata and Semantic Research. MTSR 2020. Communications in Computer and Information Science (pp.403-410). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-71903-6_37]. Dettaglio