• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models.

Junaid IqbalAdnan AshrafDragos TruscanIvan Porres
Published in: SEAA (2019)
Keyphrases
  • test generation
  • simulation models
  • multi agent
  • databases
  • real world
  • high quality
  • mathematical models
  • test sequences
  • symbolic execution
  • mutation testing