Parameterized testability.

Kazuo Iwama Yuichi Yoshida

Published in: ITCS (2014)

Keyphrases

test data generation
neural network
databases
genetic algorithm
artificial neural networks
data mining
data model
tabu search
evolutionary computation
optimization methods