Kim KISUB received his Master degree in computer engineering from Chungbuk National University, Cheongju, Korea, in 2017. He has worked as software developer. His research interests are in source code search, mining software repositories, and requirement engineering. Kim joined the Security, Design and Validation group - SerVal headed by Prof. Yves Le Traon and he will be advised by Dr. Tegawende F. Bissyande.