Monthly Archives: July 2011

MacePC publicly available

We’d  like to announce that the source code for the MacePC paper published at FSE last year is now publicly available through the Mace SVN repository. Instructions on downloading Mace and MacePC usage are available here.

Posted in Uncategorized | Leave a comment