Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.

Hana M'Hemdi Jacques Julliand Pierre-Alain Masson Riadh Robbana

Published in: WETICE (2015)

Keyphrases

evolutionary algorithm
genetic algorithm
petri net
differential evolution
databases
artificial intelligence
model checking
black box
database
data sets
metadata
clustering algorithm
software engineering
software testing
evolutionary process