61 search results - page 8 / 13 » Automated Acceptance Testing Using Fit |
109
Voted
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
118
Voted
AAAI
1998
15 years 3 months ago
1998
TacAir-Soar is an intelligent, rule-based system that generates believable human-like" behavior for military simulations. The innovation of the application is primarily a mat...
148
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
214
Voted
LPAR
2010
Springer
15 years 13 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
146
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...