[joshzayin]

Likely something like http://theory.stanford.edu/~aiken/moss/, I'd guess.