254 search results - page 50 / 51 » Mining Software Repositories for Software Change Impact Anal... |
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
SEAA
2008
IEEE
14 years 2 months ago
2008
IEEE
With the growing popularity of Web services, an increasing number of Web services have been integrated into and used by complex service oriented systems. As a result, the manageme...
TSE
2010
13 years 3 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
CLOUD
2010
ACM
14 years 1 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
BMCBI
2006
13 years 8 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...