I am an associate professor at the College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics. Before joining NUAA, I obtained my Ph.D. degree in computer science and technology from Nanjing University in 2017 (Ph.D. supervisor Prof. Chang Xu). While studying for my doctorate, I was both a member of ICS in NJU and CASTLE Lab in HKUST.
Self-adaptive & cyber physical systems: design, development, verification and validation of self-adaptive & cyber physical systems.
Intelligent software development: instilling intelligence in solutions for software engineering problems, with (but not limited to) AI technologies, and providing software engineering solutions for intelligent software.
To prospective students: I am recruiting devoted postgraduate students to do research in the above-mentioned areas. Interested undergraduate students are also encouraged to contact me, to work on related topics.Haitao Jia, Wenhua Yang, Chaochao Shen, Minxue Pan, and Yu Zhou. Git Command Recommendations Using Crowd-Sourced Knowledge. Information and Software Technology (IST), 2023, forthcoming. [pdf]
Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, and Zhiqiu Huang. ENSURE: Towards Reliable Control of Cyber-Physical Systems under Uncertainty. IEEE Transactions on Reliability (TRel), vol. 72, no. 1, pp. 289-301, March 2023. [pdf]
Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, and Taolue Chen. Automatic source code summarization with graph attention networks. The Journal of Systems and Software (JSS), Vol. 188, 111257, 2022. [pdf]
Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, and Zhiqiu Huang. Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow. ACM Transactions on Software Engineering and Methodology (TOSEM), 31, 3, Article 44, 29 pages, July 2022. [pdf]
Wenhua Yang, Minxue Pan, Yu Zhou, and Zhiqiu Huang. Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems. Journal of Computer Science and Technology (JCST), Oct 2021. [pdf]
Wenhua Yang, Yu Zhou, and Zhiqiu Huang. Personalized API Recommendations. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 31, No. 09, pp. 1299-1327, Sept 2021. [pdf]
Wenhua Yang, Minxue Pan, Yu Zhou, and Zhiqiu Huang. Developer Portraying: A Quick Approach to Understanding Developers on OSS Platforms. Information and Software Technology (IST), Vol. 125, 106336, Sept 2020. [pdf]
Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan and Tian Zhang. Extracting Mapping Relations for Mobile User Interface Transformation. In Proceedings of the 11th Asia-Pacific Symposium on Internetware (INTERNETWARE 2019), pp. 2:1-2:10, Fukuoka, Japan, Oct 2019. [pdf]
Yu Zhou, Xin Yan, Wenhua Yang, Taolue Chen and Zhiqiu Huang. Augmenting Java method comments generation with context information based on neural networks. The Journal of Systems and Software (JSS), Vol. 156, pp. 328-340, Oct 2019. [pdf]
Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu. Efficient Validation of Self-adaptive Applications by Counterexample Probability Maximization. The Journal of Systems and Software (JSS), Vol. 138, pp. 82-99, Apr 2018. [pdf]
Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu. Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Transactions on Internet Technology (TOIT), Vol. 18, No. 2, Article 20, pp. 1-37, Jan 2018. [pdf]
Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu. Suppressing Detection of Inconsistency Hazards by Pattern Learning. Information and Software Technology (IST), Vol. 74, pp. 219-229, Jun 2016. [pdf]
Wenhua Yang, Yepang Liu, Chang Xu, and S.C. Cheung. A Survey on Dependability Improvement Techniques for Pervasive Computing Systems. Science China Information Sciences (SCIS), Vol. 58, No. 5, Article 052102, pp. 1-14, May 2015. [pdf]
Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang. Automated Recommendation of Dynamic Software Update Points. In Proceedings of the 6th Asia-Pacific Symposium on Internetware (INTERNETWARE 2014), pp. 136-144, Hong Kong, China, Nov 2014. [pdf]
Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jian Lu. SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. In Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC 2014), pp. 414-421, Jeju, Korea, Dec 2014. [pdf]
Yepang Liu, Chang Xu, S.C. Cheung, and Wenhua Yang. CHECKERDROID: Automated Quality Assurance for Smartphone Applications. International Journal of Software and Informatics (IJSI), Vol. 8, Iss. 1, pp. 21-41, 2014. [pdf]
Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. Verifying Self-adaptive Applications Suffering Uncertainty. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 199-209, Vasteras, Sweden, Sept 2014. [pdf]
Wenhua Yang, Chang Xu, and Linghao Zhang. IDEA: Improving Dependability for Self-Adaptive Applications. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium), Article 1, pp. 1-6, Beijing, China, Dec 2013. [pdf]
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lu. Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications. In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), pp. 592-597, Silicon Valley, California, USA, Nov 2013. [pdf]
Wang Xi, Chang Xu, Wenhua Yang, Xuezhi Hong. An Empirical Study of How Context Inconsistency and Its Resolution Impacts Context-aware Applications. In Proceedings of the National Software Application Conference (NASAC 2013), Article 25, pp. 1-11, Tianjin, China, Nov 2013. [pdf]
NUAA: Fall 2022, Fall 2021, Fall 2020, Fall 2019.
NUAA: Spring 2023, Spring 2022, Spring 2021, Spring 2020, Spring 2019.
Runtime verification 2023, Runtime verification 2022, Chinasoft 2020
Information and Software Technology (IST), Software and Systems Modeling (SoSyM), Journal of Software: Evolution and Process (JSEP), Software Testing, Verification and Reliability (STVR), Journal of Computer Science and Technology (JCST), International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Frontiers of Computer Science (FCS), Journal of Software (JoS)