Browse "CS-Journal Papers(저널논문)" by Subject 모델 체킹
Showing results 1 to 2 of 2
| 에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
| 추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 이낙원; 백종문, 정보과학회논문지, v.44, no.10, pp.1034 - 1044, 2017-10 |
Discover
Open Access
- 187 OA Article