Mutants for Metric Temporal Logic Formulas.

Ariel Gonzalez Maximiliano Cristiá Carlos Luna

Published in: CIbSE (2019)

Keyphrases

metric temporal logic
test sequences
test suite
test cases
data structure
mathematical formulas
data sets
decision trees
case study
database
lower bound
np complete
knowledge base
test data
information systems
machine learning
real world