01026na  a2200277   4500001001300000005001500013008004100028024002700069035001800096035002700114035002700141100002200168370004800190372004800238372001400286373007400300373004500374373004200419374004800461375001100509377001400520400002500534670009800559670005400657670003700711KAC20173327420230825093620170810 b aznnnaabn          fa aaa      7 a00000004610631282isni  a(KRI)10127215  a(KISTI)ADPER6800702128  a(KISTI)ADPER68012637261 a김문주,d1974-  c한국(국명)[韓國]0KSH20000101452nlsh  a공학(과학)[工學]0KSH20000036682nlsh  a전산학  a한국과학기술원 공과대학 전산학부 (부교수)s20060901  a포항공대 (연구원)s200405t200608  a삼성 SECUi (차장)s200201t200405  a교수(대학)[敎授]0KSH19980114932nlsh  a남성  l한국어1 aKim, Moonzoo,d1974-  aConcolic testing 도구 KLEE의 다양한 탐색 방법 비교, (한국정보과학회), 2012  a한국연구자정보(KRI)uhttps://www.kri.go.kr  a네이버uhttps://www.naver.com