Validated Question Generation System Using SMT Solver
한국경영정보학회 한국경영정보학회 정기 학술대회 AI가 촉진하는 미래도시:사람-기계간 시너지로 도시 대변혁 2023.11 pp.565-567
3,000원
※ 기관로그인 시 무료 이용이 가능합니다.
SMT-Solver 를 사용한 자바바이트코드의 배열 오버플로우 검증
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2011 pp.261-264
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
커스텀 파서와 SMT 솔버를 활용한 모델 기반 테스트 데이터 생성 기법
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.6 No.8 2017 pp.385-390
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
커스텀 파서와 SMT 솔버를 활용한 모델 기반 테스트 데이터 생성 기법
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.6 No.8 2017.08 pp.385-390
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-