180 search results - page 25 / 36 » Test Case Prioritization Using Relevant Slices |
169
Voted
SOFTVIS
2010
ACM
15 years 15 days ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
121
Voted
COLING
2002
15 years 2 months ago
2002
It is popular in WSD to use contextual information in training sense tagged data. Co-occurring words within a limited window-sized context support one sense among the semantically...
110
Voted
ALMOB
2007
15 years 2 months ago
2007
Background: The optimal score for ungapped local alignments of infinitely long random sequences is known to follow a Gumbel extreme value distribution. Less is known about the imp...
128
Voted
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
144
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...