Tuning Fuzzy Logic Programs with Symbolic Execution.

Ginés Moreno Jaime Penabad Germán Vidal

Published in: CoRR (2016)

Keyphrases

symbolic execution
fuzzy logic
test generation
static analysis
test data generation
specification language
source code
neural network
data flow
expert systems
fuzzy sets
genetic algorithm
artificial intelligence
decision making
simulated annealing algorithm
fuzzy rules
software testing
programming language
metadata