Sciweavers

1682 search results - page 56 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
CCS
2011
ACM
14 years 6 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
JVCA
2006
140views more  JVCA 2006»
15 years 6 months ago
A fast triangle to triangle intersection test for collision detection
The triangle-to-triangle intersection test is a basic component of all collision detection data structures and algorithms. This paper presents a fast method for testing whether tw...
Oren Tropp, Ayellet Tal, Ilan Shimshoni
ISMIR
2004
Springer
110views Music» more  ISMIR 2004»
15 years 11 months ago
Automatic Detection Of Vocal Segments In Popular Songs
This paper presents a technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. The proposed technique uses acoustic features which ...
Tin Lay Nwe, Ye Wang
TSE
2010
136views more  TSE 2010»
15 years 4 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
WSC
2000
15 years 7 months ago
Quasi-Monte Carlo methods in cash flow testing simulations
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
Michael G. Hilgers