Sciweavers

3527 search results - page 12 / 706
» Test Automation in Practice
Sort
View
79
Voted
DLOG
2004
15 years 5 months ago
DL-Lite: Practical Reasoning for Rich Dls
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
175
Voted
XPU
2010
Springer
15 years 2 months ago
Extreme Product Line Engineering - Refactoring for Variability: A Test-Driven Approach
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
Yaser Ghanam, Frank Maurer
144
Voted
IIE
2007
159views more  IIE 2007»
15 years 3 months ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
124
Voted
ISLPED
1999
ACM
236views Hardware» more  ISLPED 1999»
15 years 8 months ago
Modeling and automating selection of guarding techniques for datapath elements
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
William E. Dougherty, Donald E. Thomas
104
Voted
LICS
2002
IEEE
15 years 8 months ago
A Fully Abstract May Testing Semantics for Concurrent Objects
Alan Jeffrey, Julian Rathke