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]
@article{GurbuzT18, title = {Model-based testing for software safety: a systematic mapping study}, author = {Havva Gülay Gürbüz and Bedir Tekinerdogan}, year = {2018}, doi = {10.1007/s11219-017-9386-2}, url = {https://doi.org/10.1007/s11219-017-9386-2}, researchr = {https://researchr.org/publication/GurbuzT18}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {26}, number = {4}, pages = {1327-1372}, }