김문주 대표 충남대학교 컴퓨터 공학과 세미나브이플러스랩2021년 12월 3일1분 분량최종 수정일: 2023년 12월 6일Concolic 테스팅을 활용한 소프트웨어 테스팅 자동화 기술의 자동차 업계 적용 성공 사례