¿ÀÇÐÁÖ(Á¤º¸´ë ÄÄÇ»ÅÍÇаú) ±³¼öÆÀÀÌ ¼º±Õ°ü´ë Â÷¼ö¿ë ±³¼öÆÀ°ú °øµ¿¿¬±¸¸¦ ÅëÇØ ¼ÒÇÁÆ®¿þ¾îÀÇ ¿À·ù ¹× º¸¾È Ãë¾àÁ¡ ŽÁö ±â¼úÀÎ ¡®±âÈ£ ½ÇÇà(Symbolic Execution)¡¯ÀÇ ¼º´ÉÀ» ȹ±âÀûÀ¸·Î ³ôÀÏ ¼ö ÀÖ´Â ±â¼úÀ» °³¹ßÇß´Ù. À̹ø ¿¬±¸ÀÇ ³í¹®Àº ÄÄÇ»ÅÍ ¼ÒÇÁ¿þ¾î ºÐ¾ßÀÇ Çмú´ëȸÀÎ ¡®ICSE 2022¡¯¿¡¼ Çѱ¹ ½Ã°¢ 22ÀÏ°ú 27ÀÏ ¹ßÇ¥µÆÀ¸¸ç ÇØ´ç ´ëȸÀÇ »óÀ§ 1% ³í¹®¿¡ ¼ö¿©µÇ´Â ¡®ACM SIGSOFT Distinguished Paper Award¡¯¸¦ ¼ö»óÇß´Ù.
±èÀο± ¼ö½À±âÀÚ press@
https://www.kunews.ac.kr/news/articleView.html?idxno=33851
Ãâó : °í·Á´ëÇб³ °íÆĽº 2024-06-20 08:30:28: