REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track).

Ana Jovanovic Allison Sullivan

Published in: ISSRE (2022)

Keyphrases

real world
user friendly
software tools
scales linearly
databases
machine learning
computational complexity
learning scenarios
standard deviation
design decisions