Guaranteeing the Correctness of an Adaptive Tutoring System

Authors:
Pilar Prieto-Linillos;Sergio Gutiérrez;Abelardo Pardo;Carlos Delgado Kloos
Affiliations:
Carlos III University of Madrid,;London Knowledge Lab, Birkbeck College, University of London,;Carlos III University of Madrid,;Carlos III University of Madrid,
Venue:
AH '08 Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Year:
2008

Citing 6
Cited 0

Computer-aided verification of coordinating processes: the automata-theoretic approach

Computer-aided verification of coordinating processes: the automata-theoretic approach
Group formation in computer-supported collaborative learning

GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Executable assertions and timed traces for on-line software error detection

FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A system for classifying program verification methods: Assigning meanings to program verification methods

ICSE '84 Proceedings of the 7th international conference on Software engineering
Towards an automatic monitoring for higher education Learning Design

International Journal of Metadata, Semantics and Ontologies
Evaluating a Simulated Student Using Real Students Data for Training and Testing$^{\thanks{The research presented in this paper is supported by National Science Foundation Award No. REC-0537198.}}$

UM '07 Proceedings of the 11th international conference on User Modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool takes the role of a learner interacting with the system, checking that no errors are present. The tool can communicate with the exercises to know the correct answers to them; a configurable ratio of correct to incorrect answers allows the tool to behave as a range of different students. More complex checking techniques will be tested in the future using this architecture.