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 | 6 | 2023 |
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 | 1 | 2023 |
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 | 1 | 2021 |
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 | 1 | 2020 |
On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software E Kurian Universitą degli Studi di Milano-Bicocca, 2023 | | 2023 |