KOASAS

Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12

Park, Joonyoung; Park, Jihyeok; Youn, Dongjun; Ryu, Sukyoung, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1129 - 1140, ACM, 2021-08-20

Park, Jihyeok; Ryou, Yeonhee; Park, Joonyoung; Ryu, Sukyoung, 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, pp.59 - 62, Institute of Electrical and Electronics Engineers Inc., 2017-05-28

Park, Joonyoung; Jordan, Alexander; Ryu, Sukyoung, 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, pp.43 - 60, Springer Verlag, 2019-04-09

Park, Joonyoung; Lim, Inho; Ryu, Sukyoung, 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016, pp.61 - 70, IEEE Computer Society and ACM SIGSOFT, 2016-05-22

Park, Joonyoung; Sun, Kwangwon; Ryu, Sukyoung, 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, pp.129 - 145, Springer Verlag, 2018-04-18

Bae, Sora; Park, Joonyoung; Ryu, Sukyoung, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017, pp.72 - 78, Institute of Electrical and Electronics Engineers Inc., 2017-05-27