Introducing complexity to formal testing.

Ismael Rodríguez Fernando Rosa-Velardo Fernando Rubio

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

data mining
computational cost
space complexity
real time
data sets
databases
neural network
information retrieval
image processing
website
training data
multiscale
artificial neural networks
software testing
lower complexity