Login / Signup

Time for Networks: Mutation Testing for Timed Automata Networks.

David CortésJames OrtizDavide BasileJesús ArandaGilles PerrouinPierre-Yves Schobbens
Published in: FormaliSE@ICSE (2024)
Keyphrases
  • social networks
  • network structure
  • databases
  • image data
  • neural network
  • machine learning
  • learning algorithm