Crucible: Graphical Test Cases for Alloy Models.

Adam G. Emerson Allison Sullivan

Published in: ISSRE (2023)

Keyphrases

test cases
uml models
test data
test suite reduction
regression testing
test suite
test set
artificial intelligence
case study
software testing
test sequences
test data generation
databases
number of test cases
open source
relational databases
feature extraction
black box
database