Metrics for quantifying evolutionary changes in Z specifications.

Published in: J. Softw. Evol. Process. (2013)

Keyphrases

similarity metrics
genetic algorithm
evolutionary computation
high level
databases
artificial intelligence
precision and recall
evolutionary process
evolutionary optimization
delay insensitive
moving target defense
data sets
data mining
database systems
object oriented
specification language