4107 search results - page 57 / 822 » The Generalized Lambda Test |
122
click to vote
ALMOB
2006
15 years 1 months ago
2006
Background: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expres...
137
click to vote
DKE
2002
15 years 1 months ago
2002
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...
109
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
103
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
110
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Algorithms for the construction of software interaction test suites have focussed on the special case of pairwise coverage; less is known about efficiently constructing test suite...