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

Junaid Iqbal Adnan Ashraf Dragos Truscan Ivan 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