Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. - Ali Mili 001; GuangJie Jiang; Bojan Cukic; Yan Liu 003; Rahma Ben Ayed (HICSS, 2004)