Allison Sullivan

Crucible simplifies software modeling and testing through a graphical interface.

This study analyzes common mistakes made by beginners in Alloy software modeling.

This study examines how altering language affects text classifiers.