C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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