Syed S. Arefin

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Model Based Testing

Safety Critical

Top Venues

Publications

Syed S. Arefin, Hadi Hemmati, Howard W. Loewen
Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems. ICSE (SEIP) (2018)
Hadi Hemmati, Syed S. Arefin, Taha R. Siddiqui
Analytics-based safety monitoring and verification. SMC (2017)