Page 18 - 《软件学报》2020年第12期

3684 Journal of Software 软件学报 Vol.31, No.12, December 2020

[37] Grundy J, Hosking J. Supporting generic sketching-based input of diagrams in a domain-specific visual language meta-tool. In:
Proc. of the 29th Int’l Conf. on Software Engineering. Washington: IEEE Computer Society, 2007. 282−291.
[38] Wüest D, Seyff N, Glinz M. Flexisketch: A mobile sketching tool for software modeling. In: Proc. of the Int’l Conf. on Mobile
Computing, Applications, and Services. Berlin: Springer-Verlag, 2012. 225−244.

成浩亮(1994－),男,硕士,主要研究领域为 陈鑫(1975－),男,博士,副教授,CCF 专业
软件工程,新型软件测试方法. 会员,主要研究领域为软件工程,软件测
试,验证技术.

汤恩义(1982－),男,博士,副教授,CCF 专 王林章(1973－),男,博士,教授,博士生导
业会员,主要研究领域为软件工程,新型软 师,CCF 杰出会员,主要研究领域为模型驱
件测试方法,程序分析方法. 动的软件测试与验证,安全测试,软件测试
自动化.

玉淳舟(1996－),男,硕士生,主要研究领域 卜磊(1983－),男,博士,副教授,博士生导
为软件工程,新型软件测试方法. 师,CCF 杰出会员,主要研究领域为形式化
方法 , 实 时混成 系统 , 复 杂系统 测试和
验证.

张初成(1992－),男,硕士,主要研究领域为 李宣东(1963－),男,博士,教授,博士生导
软件工程,新型软件测试方法,程序分析 师,CCF 会士,主要研究领域为软件工程,
方法. 软件建模与分析,软件测试与验证.