Sciweavers

1175 search results - page 63 / 235
» A scalable method for the generation of small test sets
Sort
View
FORTEST
2008
13 years 9 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
COLING
2008
13 years 8 months ago
A Joint Information Model for N-Best Ranking
In this paper, we present a method for modeling joint information when generating n-best lists. We apply the method to a novel task of characterizing the similarity of a group of ...
Patrick Pantel, Vishnu Vyas
BMCBI
2008
128views more  BMCBI 2008»
13 years 8 months ago
Improving the prediction accuracy in classification using the combined data sets by ranks of gene expressions
Background: The information from different data sets experimented under different conditions may be inconsistent even though they are performed with the same research objectives. ...
Ki-Yeol Kim, Dong Hyuk Ki, Hei-Cheul Jeung, Hyun C...
EMNLP
2008
13 years 9 months ago
Latent-Variable Modeling of String Transductions with Finite-State Methods
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...
Markus Dreyer, Jason Smith, Jason Eisner
VLDB
2007
ACM
128views Database» more  VLDB 2007»
14 years 2 months ago
A genetic approach for random testing of database systems
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
Hardik Bati, Leo Giakoumakis, Steve Herbert, Aleks...