Follow
ELSON KURIAN
ELSON KURIAN
University of Milan-Bicocca
No verified email
Title
Cited by
Cited by
Year
Automatically generating test cases for safety-critical software via symbolic execution
E Kurian, D Briola, P Braione, G Denaro
Journal of Systems and Software 199, 111629, 2023
62023
Automated test case generation for safety-critical software in scade
E Kurian, P Braione, D Briola, D D’Avino, M Modonato, G Denaro
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
12023
Relevance of Bots in Software and Their Impacts on Software Security
E Kurian, S Varghese
LECTURE NOTES IN ENGINEERING AND COMPUTER SCIENCE 2242, 207-212, 2021
12021
Towards an innovative model in wearable expert system for skiing
E Kurian, S Varghese, S Fiorini
Research Conference on Metadata and Semantics Research, 403-410, 2020
12020
On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software
E Kurian
Universitą degli Studi di Milano-Bicocca, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–5