Sciweavers

4276 search results - page 52 / 856
» Techniques for Empirical Validation
Sort
View
ESEM
2007
ACM
14 years 1 months ago
Value-Based Empirical Research Plan Evaluation
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
Stefan Biffl, Dietmar Winkler
MC
2008
122views Computer Science» more  MC 2008»
13 years 11 months ago
Interaction Techniques for Case Selection in Medical Computer Based Training Systems
The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of ap...
Ragnar Bade, Jeanette Cordes, Maik Mewes, Bernhard...
JAIR
2000
94views more  JAIR 2000»
13 years 9 months ago
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan
This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search technique...
Subbarao Kambhampati
TSE
2010
136views more  TSE 2010»
13 years 8 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
AOSD
2009
ACM
14 years 2 months ago
Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
Ruzanna Chitchyan, Phil Greenwood, Américo ...