Sciweavers

320 search results - page 17 / 64
» Advanced Measures for Empirical Testing
Sort
View
BMCBI
2005
89views more  BMCBI 2005»
15 years 1 months ago
An empirical analysis of training protocols for probabilistic gene finders
Background: Generalized hidden Markov models (GHMMs) appear to be approaching acceptance as a de facto standard for state-of-the-art ab initio gene finding, as evidenced by the re...
William H. Majoros, Steven Salzberg
117
Voted
ERLANG
2004
ACM
15 years 7 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
DEBU
2008
139views more  DEBU 2008»
15 years 1 months ago
Testing SQL Server's Query Optimizer: Challenges, Techniques and Experiences
Query optimization is an inherently complex problem, and validating the correctness and effectiveness of a query optimizer can be a task of comparable complexity. The overall proc...
Leo Giakoumakis, César A. Galindo-Legaria
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 4 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
114
Voted
ISSTA
2004
ACM
15 years 7 months ago
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
André Baresel, David Binkley, Mark Harman, ...