16725 search results - page 3127 / 3345 » Engineering Software Correctness |
114
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
144
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
139
click to vote
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
130
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
125
click to vote
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
In the area of network monitoring a lot of tools are already available to measure a variety of metrics. However, these tools are often limited to a single administrative domain so ...