Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.

Francisco Azevedo

Published in: Constraints An Int. J. (2007)

Keyphrases

genetic algorithm
pattern matching
predicate logic
search algorithm
simulated annealing
statistical tests
automated reasoning
search space
test data
programming language
logic programming
combinatorial optimization
associative memory
search procedure