Sign in

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime CuartasJesús ArandaMaxime CordyJames OrtizGilles PerrouinPierre-Yves Schobbens
Published in: ICSTW (2023)
Keyphrases
  • model checking
  • test cases
  • test sequences
  • decision making
  • timed automata
  • machine learning
  • artificial intelligence
  • information systems
  • multiscale
  • evolutionary algorithm