Sciweavers

50 search results - page 5 / 10
» Defining coverage views to improve functional coverage analy...
Sort
View
JAR
2010
98views more  JAR 2010»
13 years 2 months ago
Proof-Guided Test Selection from First-Order Specifications with Equality
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
Delphine Longuet, Marc Aiguier, Pascale Le Gall
IJMC
2007
40views more  IJMC 2007»
13 years 7 months ago
Valuing wireless data services solutions for corporate clients using real options
: The paper deals with wireless data services and their importance in the enterprise world. Provisioning in difficult-to-reach areas of tall buildings is challenging. To extend cov...
William Ramirez, Fotios C. Harmantzis, Venkata Pra...
SIGSOFT
2007
ACM
14 years 8 months ago
Improving test case generation for web applications using automated interface discovery
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
William G. J. Halfond, Alessandro Orso
BMCBI
2006
116views more  BMCBI 2006»
13 years 7 months ago
Gene annotation and network inference by phylogenetic profiling
Background: Phylogenetic analysis is emerging as one of the most informative computational methods for the annotation of genes and identification of evolutionary modules of functi...
Jie Wu, Zhenjun Hu, Charles DeLisi
CIVR
2004
Springer
128views Image Analysis» more  CIVR 2004»
14 years 26 days ago
A Geometrical Key-Frame Selection Method Exploiting Dominant Motion Estimation in Video
We describe an original method for selecting key frames to represent the content of every shot in a video. We aim at spatially sampling in an uniform way the coverage of the scene ...
Brigitte Fauvet, Patrick Bouthemy, Patrick Gros, F...