Combination of Assertion and HSAT Methods For Automated Test Vectors Generation.

Mostafa Naderi Zainalabedin Navabi

Published in: FDL (2005)

Keyphrases

neural network
information systems
qualitative and quantitative
learning algorithm
empirical studies
computationally expensive
optimization methods
real world
search algorithm
pairwise
probabilistic model
statistical significance
semi automated