Automated Checking in Education
Automated Checking in Education is a scholarly work, published in 2018 in ''Open Journal for Information Technology''. The main subjects of the publication include programming language, automation, artificial intelligence, software engineering, theoretical computer science, educational technology, model checking, and computer science. The article discusses the structure of a problem as a whole body and of its parts, studies various check approaches, introduces problem complexes, suggests methods for creating accurate and consistent problem statements and check sets, and touches the automation of the preparation of problem sets and of the checking processes.