Syed S. Arefin

According to our database, Syed S. Arefin authored at least 2 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems.

Syed S. Arefin, Hadi Hemmati, Howard W. Loewen

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017

Analytics-based safety monitoring and verification.

Hadi Hemmati, Syed S. Arefin, Taha R. Siddiqui

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017