Towards an Open Framework for C Verification Tools Benchmarking. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Pavel Shved; Alexander Strakh (Ershov Memorial Conference, 2011)