, Curriculum guideline for high school, 2018.

M. Hagiya, Defining informatics across Bun-kei and Ri-kei, Journal of Information Processing, vol.23, issue.4, pp.525-530, 2015.

Y. Nakayama, Current situation of teachers of informatics at high schools in Japan, Olympiads in Informatics, pp.177-185, 2018.

, Research and Development of Assessment Methods in Selection of Applicants to Universities in the subject, Informatics" from Approach Based on Informatics

K. Matsunaga and M. Hagiya, Characterization of thinking, judging and expressing in the rubrics of common subject "Information, The 10th Congress of National High School Informatics Education Study Group, 2017.

D. Rado?evi?, T. Orehova?ki, and Z. Stapi?, Automatic on-line generation of student's exercises in teaching programming, Central European Conference on Information and Intelligent Systems, CECIIS 2010, 7 pages, 2010.

A. Wakatani and T. Maeda, Evaluation of software education using auto-generated exercises, IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, pp.732-735, 2016.

C. Douce, D. Livingstone, and J. Orwell, Automatic test-based assessment of programming: A review, Journal on Educational Resources in Computing, vol.5, issue.3, 2005.

T. Ball and J. Daniel, Deconstructing Dynamic Symbolic Execution, Proceedings of the 2014 Marktober Summer School on Dependable Software Systems Engineering, 2015.

N. Tillmann and J. De-halleux, Pex -White box test generation for, TAP 2008: Tests and Proofs, vol.4966, pp.134-153, 2008.

L. De-moura and N. Bjørner, Z3: An efficient SMT solver, TACAS 2008: Tools and Algorithms for the Construction and Analysis of Systems, vol.4963, pp.337-340, 2008.

. The-z3-theorem and . Prover,