An Automated Approach for Writing Alloy Specifications Using Instances.

Sarfraz Khurshid Muhammad Zubair Malik Engin Uzuncaova

Published in: ISoLA (2006)

Keyphrases

high level
randomly generated
lower and upper bounds
training instances
operational semantics
feature selection
natural language
functional requirements
specification language