Beilei Liang, Pan Liu, Huaikou Miao. Scenario specification based testing model generation. In 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013, Niigata, Japan, June 16-20, 2013. pages 335-340, IEEE, 2013. [doi]
Abstract is missing.