[해외석학초빙세미나] Test Inputs Generation via Symbolic Execution(10/1)

아래와 같이 컴퓨터학부 주최로 최신동향 세미나가 개최됩니다.

관심있는 학부구성원(학부생, 대학원생, 교수)들의 많은 참여 바랍니다.

1. 주 제: Test Inputs Generation via Symbolic Execution

2. 발표자: Štěpán Cais (Ph.D Student and Researcher ve společnosti University of West Bohemia)

3. 일 시: 2014년 10월 1일(수) 13:30 ~ 14:30

4. 장 소: 경북대학교 IT4호관 104호

5. 대 상: 경북대학교 교수, 대학원생 및 학부생