MutaLog: A Tool for Mutating Logic Formulas.

Christopher Henard Mike Papadakis Yves Le Traon

Published in: ICST Workshops (2014)

Keyphrases

user friendly
modal operators
databases
neural network
relational databases
computational properties
linear time temporal logic