Sciweavers

332 search results - page 11 / 67
» Instrumentality Tests Revisited
Sort
View
HASKELL
2007
ACM
13 years 11 months ago
Haskell program coverage
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
Andy Gill, Colin Runciman
TASLP
2008
102views more  TASLP 2008»
13 years 7 months ago
Computational Models of Similarity for Drum Samples
In this paper, we optimize and evaluate computational models of similarity for sounds from the same instrument class. We investigate four instrument classes: bass drums, snare drum...
Elias Pampalk, Perfecto Herrera, Masataka Goto
EDBT
2008
ACM
108views Database» more  EDBT 2008»
14 years 7 months ago
Revisiting redundancy and minimization in an XPath fragment
Redundancy and minimization of queries are investigated in a well known fragment of XPath that includes child and descendant edges, branches, wildcards, and multiple output nodes....
Benny Kimelfeld, Yehoshua Sagiv
SE
2010
13 years 9 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
ISSTA
2007
ACM
13 years 9 months ago
Experimental assessment of random testing for object-oriented software
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertr...