ICST 2021
Mon 12 - Fri 16 April 2021
Mon 12 Apr 2021 09:10 - 10:00 at Tamandaré - Keynote 1 Chair(s): Jie M. Zhang

Mutation testing has been studied for more than 40 years. Its application spans from test criterion to fault localization, program repair, and empirical studies. Besides these application domains, mutation is also used in compiler testing since inputs of a compiler are programs. In the talk, the speaker will introduce their work on mutation-based compiler debugging, demonstrating how mutation aids test program generation with the purpose of compiler debugging. Finally, the speaker will give some discussion on more compiler testing tasks with the usage of mutation and conclude some characteristics of mutation usage in compiler testing.

Bio: Dan Hao is an Associate Professor at Peking University. Her main research interests are in software testing and debugging. Her research won several ACM SIGSOFT Distinguished Paper Awards. She is the Program Co-Chair of ASE 2021. She serves at the editorial boards of several international journals (IEEE-TSE, EMSE, and STVR) and the program committees of numerous international software engineering conferences.

Mon 12 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:10 - 10:00
Keynote 1Mutation at Tamandaré
Chair(s): Jie M. ZhangUniversity College London, UK
Mutation for Compiler Testing
Dan HaoPeking University, China