33 search results - page 2 / 7 » Greedy Algorithms for the Test Selection Problem in Protocol... |
RECOMB
2007
Springer
14 years 6 months ago
2007
Springer
It is often impossible to sequence all descendent genomes to reconstruct an ancestral genome. In addition, more genomes do not necessarily give a higher accuracy for the reconstruc...
FORTE
2003
13 years 7 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
WEA
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The maximum diversity problem (MDP) consists of identifying optimally diverse subsets of elements from some larger collection. The selection of elements is based on the d...
GECCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this work we have implemented and analyzed the performance of a new real coded steady-state genetic algorithm (SSGA) for the flexible ligand-receptor docking problem....
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...