Crucible: Graphical Test Cases for Alloy Models.

Adam G. Emerson Allison Sullivan

Published in: CoRR (2023)

Keyphrases

test cases
test sequences
test data
black box
software testing
test generation
number of test cases
neural network
regression testing
uml models
test case selection
test data generation
machine learning
training data
test set
metamodel