Sciweavers

1776 search results - page 195 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
101
Voted
DSS
2008
84views more  DSS 2008»
15 years 2 months ago
Human decision-making behavior and modeling effects
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
Choong Nyoung Kim, Kyung Hoon Yang, Jaekyung Kim
144
Voted
AIEDU
2005
106views more  AIEDU 2005»
15 years 2 months ago
A Comparison of Model-Tracing and Constraint-Based Intelligent Tutoring Paradigms
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
140
Voted
SIGCSE
2008
ACM
143views Education» more  SIGCSE 2008»
15 years 2 months ago
Test-driven learning in early programming courses
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
David Janzen, Hossein Saiedian
251
Voted
POPL
2004
ACM
16 years 3 months ago
Atomizer: a dynamic atomicity checker for multithreaded programs
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
Cormac Flanagan, Stephen N. Freund
ICST
2008
IEEE
15 years 9 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim