An automatic performance testing method based on a formal model for communicating systems.

Levente Erös Tibor Csöndes

Published in: IWQoS (2010)

Keyphrases

formal model
high precision
significant improvement
cost function
experimental evaluation
fully automatic
management system
test data
input data
edge detection
formal models
segmentation method
detection method
medical images
data sets
high accuracy
computational cost
preprocessing
genetic algorithm