Earticle

현재 위치 Home

Validated Question Generation System Using SMT Solver

첫 페이지 보기
  • 발행기관
    한국경영정보학회 바로가기
  • 간행물
    한국경영정보학회 정기 학술대회 바로가기
  • 통권
    2023년도 한국경영정보학회 추계 학술대회 (2023.11)바로가기
  • 페이지
    pp.565-567
  • 저자
    Soeun Kim, Geounyong Park, Yeoeun Sim, Dongkyeom Jang, Yunsik Son
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A444677

※ 기관로그인 시 무료 이용이 가능합니다.
※ 학술발표대회집, 워크숍 자료집 중 4페이지 이내 논문은 '요약'만 제공되는 경우가 있으니, 구매 전에 간행물명, 페이지 수 확인 부탁 드립니다.

3,000원

원문정보

초록

영어
We introduce an automated method for generating data structure questions using the SMT Solver 'Z3'. Recognizing challenges in traditional question-setting, which might contain logical errors or lack originality, we focus on generating logically consistent and diverse questions. We harness Z3's EnumSort() and Const() functions for conceptual question creation. For applied questions, three main approaches were employed: generating data structures with specific constraints, deriving accurate solutions for questions, and assessing data structure integrity pre and post specific code execution. The outcome not only refines problem creation but also provides a quality-assured learning platform. By transitioning our findings to a web service, we envision bridging educational gaps caused by location and financial constraints. This initiative offers a novel perspective in the realm of educational assessments.

목차

Abstract
Introduction
Related Work
SMT (Satisfiability Modulo Theories) Solver
Methods
Conceptual Questions
Applied Questions
Conclusion and Future Work
Acknowledgments
References

키워드

SMT Solver Question Validated Generation Data Structure

저자

  • Soeun Kim [ Department of Computer Science and Engineering, Dongguk University, Seoul ]
  • Geounyong Park [ Department of Computer Science and Engineering, Dongguk University, Seoul ]
  • Yeoeun Sim [ Department of Computer Science and Engineering, Dongguk University, Seoul ]
  • Dongkyeom Jang [ Department of Computer Science and Engineering, Dongguk University, Seoul ]
  • Yunsik Son [ Department of Computer Science and Engineering, Dongguk University, Seoul ] Corresponding Author

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    한국경영정보학회 [The Korea Society of Management information Systems]
  • 설립연도
    1989
  • 분야
    사회과학>경영학
  • 소개
    이 학회는 경영정보학의 연구 및 교류를 촉진하고 학문의 발전과 응용에 공헌함을 목적으로 합니다.

간행물

  • 간행물명
    한국경영정보학회 정기 학술대회 [KMIS Conference]
  • 간기
    반년간
  • 수록기간
    1990~2026
  • 십진분류
    KDC 325 DDC 658

이 권호 내 다른 논문 / 한국경영정보학회 정기 학술대회 2023년도 한국경영정보학회 추계 학술대회

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.