张辉辉  
 
2018-07-03
 

张辉辉,男,汉族,山东安丘,198109月生,中共党员,工学博士,潍坊学院计算机工程学院讲师。于201707月毕业于北京航空航天大学计算机科学与工程学院,获工学博士学位,专业为计算机软件与理论。主要研究方向:Software Requirements Verification and Validation, Model Driven Development, Search Based Software Engineering, Empirical Software Engineering, and Requirements-driven Testing. 201507-201608月,获国家留学基金委公派留学资助,赴挪威Simula Research Laboratory进行留学。在国际期刊Empirical Software Engineering (EMSE) 发表SCI期刊1篇,国际会议MODELSICSRMiSEBICT、等4EI会议论文。已获得授权国家发明专利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)