Sciweavers

3527 search results - page 246 / 706
» Test Automation in Practice
Sort
View
DAGM
2004
Springer
15 years 11 months ago
Fast Statistically Geometric Reasoning About Uncertain Line Segments in 2D- and 3D-Space
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
Christian Beder
USAB
2007
15 years 7 months ago
Competence Assessment for Spinal Anaesthesia
The authors describe a new approach towards assessing skills of medical trainees. Based on experiences from previous projects with (i) applying virtual environments for medical tra...
Dietrich Albert, Cord Hockemeyer, Zsuzsanna Kulcs&...
EDM
2009
179views Data Mining» more  EDM 2009»
15 years 3 months ago
Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
Philip I. Pavlik Jr., Hao Cen, Kenneth R. Koedinge...
CEC
2008
IEEE
16 years 12 days ago
A novel co-evolutionary approach to automatic software bug fixing
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...
Andrea Arcuri, Xin Yao
TPHOL
2002
IEEE
15 years 10 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff