GitHub repository: vinay92/FSE-2013-aPET
Description: This repository contains resources for getting started with aPET : A Test Case Generation Tool for Concurrent Objects