2419 search results - page 332 / 484 » A Formal Approach to Software Testing |
123
Voted
PR
1998
15 years 2 months ago
1998
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
117
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
GECCO
2005
Springer
15 years 8 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...
143
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
140
Voted
ICONS
2009
IEEE
15 years 9 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...