Model-based testing for software safety: a systematic mapping study

Havva Gülay Gürbüz, Bedir Tekinerdogan. Model-based testing for software safety: a systematic mapping study. Software Quality Journal, 26(4):1327-1372, 2018. [doi]

Abstract

Abstract is missing.