张辉辉,男,汉族,山东安丘,1981年09月生,中共党员,工学博士,潍坊学院计算机工程学院讲师。于2017年07月毕业于北京航空航天大学计算机科学与工程学院,获工学博士学位,专业为计算机软件与理论。主要研究方向:Software Requirements Verification and Validation, Model Driven Development, Search Based Software Engineering, Empirical Software Engineering, and Requirements-driven Testing. 2015年07月-2016年08月,获国家留学基金委公派留学资助,赴挪威Simula Research Laboratory进行留学。在国际期刊Empirical Software Engineering (EMSE) 发表SCI期刊1篇,国际会议MODELS、ICSR、MiSE、BICT、等4篇EI会议论文。已获得授权国家发明专利1项。
Education:
July 2015 – July 2016 Simula Research Laboratory Oslo, Norway
Joint training Ph.D. student, Model-based and Search-based Requirements Engineering
July 2017Beihang University Beijing, China
School of Computer Science and Engineering
Ph.D., Software Engineering Specialty
July 2010Peking University Beijing, China
School of Software and Microelectronics
Master’s Degree in the Software Engineering Specialty
July 2006Qufu Normal University Qufu, China
School of Computer Science and Technology
Bachelor’s Degree in Computer Science
July 2004Weifang University Weifang, China
School of Computer Science and Engineering
Research Interests:
Software Requirements Verification and Validation Model Driven Development
Search Based Software Engineering Empirical Software Engineering
Requirements-Driven Testing
Patents:
CN201310595322.0. A Safety Requirements Modeling Methodology for Avionics Systems. Ji Wu, Huihui Zhang, Yahui Li, Wensheng Niu.
Selected Publications:
Journal Articles:
Huihui Zhang, Tao Yue, Shaukat Ali and Chao Liu, “Search and Similarity Based Selection of Use Case Scenarios: An Empirical Study”. Empirical Software Engineering(EMSE). 2017, 23(1):1-78. doi: 10.1007/s10664-017-9500-x. (SCI, IF2016=3.275)
Ji Wu, Tao Yue, Shaukat Ali and HuihuiZhang, “A Modeling Methodology to Facilitate Safety-Oriented Architecture Design of Industrial Avionics Software”, Software: Practice and Experience (SPE), 5 (7), 893-924, DOI: 10.1002/spe.2281, WILEY, July 2015. (SCI, IF2016= 1.609)
Conference Proceedings:
Huihui Zhang, Tao Yue, Shaukat Ali and Chao Liu. Towards Mutation Analysis for Use Cases. In proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 363-373, ACM, 2016. (EI: CCF-B)
Huihui Zhang, Tao Yue, Shaukat Ali and Chao Liu. A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems. In proceedings of 9thWorkshop on Modelling in Software Engineering (MiSE) of the 39th International Conference on Software Engineering (ICSE), pp. 5-11, IEEE, 2017. (EI)
Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu and Chao Liu. Facilitating requirements inspection with search-based selection of diverse use case scenarios. In proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), pp. 229-236. ACM, 2016. (EI)
Tao Yue, Huihui Zhang, Shaukat Ali and Chao Liu. A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. In proceedings of International Conference on Software Reuse (ICSR), pp. 89-105. Springer, 2016. (EI: CCF-C)
Ji Wu, Tao Yue, Shaukat Ali and Huihui Zhang. Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study. In proceedings of the 13th International Conference of Quality Software (QSIC), pp.55 – 64. IEEE, 2013. (EI: CCF-C)
Man Zhang, Tao Yue, Shaukat. Ali, Huihui Zhang, and Ji Wu. A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages. In proceedings of the 8th System Analysis and Modelling Conference (SAM'14), pp. 142-157. Springer, 2014. (EI)
