Orthogonal defect classification (ODC), the most influential framework for software defect
classification and analysis, provides valuable in-process feedback to system development …

Advanced learning environments such as intelligent tutoring systems for algebra, logic,
programming, physics, etc. let a student practice with stepwise exercises, and support a …

More and more people take up learning how to program: in schools and universities, in large
open online courses or by learning it by themselves. A large number of tools have been …

Intelligent tutoring systems (ITSs) can provide inner loop feedback about steps within tasks,
and outer loop feedback about performance on multiple tasks. While research typically …

We present an application of constraint logic programming to create multiple-choice
questions for math quizzes. Constraints are used for the configuration of the generator …

Many Computer Science (CS) students find it challenging to work with the formulas and laws
of propositional logic. It often takes a significant amount of effort from students to fully …

E-assessment systems that provide automated feedback are a well-known part of modern
education. Extensibility of e-assessment system with respect to domain-specific features is …

Students learn propositional logic in programs such as mathematics, philosophy, computer
science, law, etc. An important topic in courses in propositional logic is rewriting …

In order to be robust and achieve multi-domain coverage, exercise generation systems
usually work with answers of simple types (eg multiple-choice, Boolean, integer, or file …

Embedded systems engineers need to learn how I/O programming expressions for
microcontrollers evaluate. We designed, implemented, and tested an intelligent tutoring …