Mutation Testing for Temporal Alloy Models.

Ana Jovanovic Allison Sullivan

Published in: MODELS (2023)

Keyphrases

spatio temporal
probabilistic model
finite state machines
database
data sets
databases
computer vision
high level
spatial and temporal
mutation testing