Login / Signup
Elson Kurian
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Test Cases
Test Case Generation
Formal Methods
Fault Tolerant
Top Venues
CoRR
J. Syst. Softw.
ICSE-SEIP
MTSR
</>
Publications
</>
Elson Kurian
,
Pietro Braione
,
Daniela Briola
,
Dario D'Avino
,
Matteo Modonato
,
Giovanni Denaro
Automated Test Case Generation for Safety-Critical Software in Scade.
ICSE-SEIP
(2023)
Elson Kurian
,
Daniela Briola
,
Pietro Braione
,
Giovanni Denaro
Automatically generating test cases for safety-critical software via symbolic execution.
J. Syst. Softw.
199 (2023)
Elson Kurian
,
Daniela Briola
,
Pietro Braione
,
Giovanni Denaro
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution.
CoRR
(2022)
Elson Kurian
,
Sherwin Varghese
,
Stefano Fiorini
Towards an Innovative Model in Wearable Expert System for Skiing.
MTSR
(2020)