Automated Testing of Multi-thread Data Structures Solutions Linerializability Anton Evdokimov, Dmitry Tsitelov, Roman Elizarov, Vitaly Trifanov, Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg 12 - 14 November 2015 Tools and Methods of Program Analysis in St. Petersburg