643 search results - page 97 / 129 » Software Landscapes: Visualizing the Structure of Large Soft... |
93
Voted
ETRICS
2006
15 years 1 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
102
click to vote
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
AIRS
2006
Springer
15 years 1 months ago
2006
Springer
One of the main challenges in content-based image retrieval still remains to bridge the gap between low-level features and semantic information. In this paper, we present our first...
ISDA
2010
IEEE
14 years 7 months ago
2010
IEEE
A genetic algorithm is combined with two variants of the modularity (Q) network analysis metric to examine a substantial amount fisheries catch data. The data set produces one of t...
106
Voted
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...