Sciweavers

1253 search results - page 59 / 251
» Exploration Testing
Sort
View
ITS
2004
Springer
110views Multimedia» more  ITS 2004»
15 years 5 months ago
Scaffolding Self-Explanation to Improve Learning in Exploratory Learning Environments.
Abstract. Successful learning though exploration in open learning environments has been shown to depend on whether students possess the necessary meta-cognitive skills, including s...
Andrea Bunt, Cristina Conati, Kasia Muldner
ISOLA
2007
Springer
15 years 6 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
SIGSOFT
2007
ACM
16 years 18 days ago
A study of interleaving coverage criteria
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
Shan Lu, Weihang Jiang, Yuanyuan Zhou
EDM
2009
104views Data Mining» more  EDM 2009»
14 years 9 months ago
Visualization of Differences in Data Measuring Mathematical Skills
Identification of significant differences in sets of data is a common task of data mining. This paper describes a novel visualization technique that allows the user to interactivel...
Lukás Zoubek, Michal Burda
94
Voted
GECCO
2004
Springer
126views Optimization» more  GECCO 2004»
15 years 5 months ago
A Gene Based Adaptive Mutation Strategy for Genetic Algorithms
In this study, a new mechanism that adapts the mutation rate for each locus on the chromosomes, based on feedback obtained from the current population is proposed. Through tests us...
Sima Uyar, Sanem Sariel, Gülsen Eryigit