"TestEra: A tool for testing Java programs using alloy specifications."

Shadi Abdul Khalek et al. (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics