I am Lechen Yu, a third-year PhD student at Georgia Tech. I attended the ISSTA summer school from July 16th to July 21st. During the summer school, the lecturers comprehensively introduced to us multiple key techniques in software testing such as symbolic execution, static program analysis, and AI-based testing. Among these topics, AI-based testing catches my interest because it brings about a new perspective to my current work. To develop debugging tools for HPC applications, the programmers have to first read through the specification of the applied programming model and the requirement document of the applications, which is quite time-consuming. AI algorithms, for example, NLP, can help extract useful information from those documents and convert them into formal rules automatically, which can ease the development of debugging tools. In addition, AI algorithms can also be applied factors of software testing, for instance, test case selection. I plan to utilize AI in my future research projects.

Apart from the talks, I also met Jan Vitek and Alex Orso. They gave me lots of invaluable advice to my current work. I appreciate their kind help.

I am glad to have the chance to attend this summer school. Thank you very much for all committee members and lectures. See you all in futute conferences.