KURIAN ELSON

Kurian, E., Denaro, G., Braione, P., Guglielmo, L. (2025). Automated Test Generation for Integration Testing. In 2025 IEEE/ACM International Conference on Automation of Software Test (AST) (pp.41-45). Institute of Electrical and Electronics Engineers Inc. [10.1109/AST66626.2025.00011]. Dettaglio

(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., 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., 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., 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). Newswood Limited. Dettaglio