10월1일[Štěpán Cais]Test Inputs Generati…
페이지 정보
작성자 이현경 댓글 조회 작성일 14-09-30 18:14본문
[해외석학초빙세미나] 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. 대 상: 경북대학교 교수, 대학원생 및 학부생
File
- seminar_notice_1001_sselab.hwp (32.0K) 8 Download | DATE : 2014-09-30 18:14:00
- 이전글11월3일[유준영]성공할 수 밖에 없는 게임 개발자 14.10.22
- 다음글9월26일[이종건]Big Data for Development and Humanitarian Action 14.09.23
댓글목록
등록된 댓글이 없습니다.