SMOK's home page is at

http://www.cs.washington.edu/homes/zahorjan/homepage/Tools/SMOK/index.shtml