Login / Signup
Time for Networks: Mutation Testing for Timed Automata Networks.
David Cortés
James Ortiz
Davide Basile
Jesús Aranda
Gilles Perrouin
Pierre-Yves Schobbens
Published in:
FormaliSE@ICSE (2024)
Keyphrases
</>
social networks
network structure
databases
image data
neural network
machine learning
learning algorithm