Framework for testing concurrent data structures - View it on GitHub