Itsykson, V., Moiseev, M., Tsesko, V., Zakharov, A. and Akhin, M. 2009. Interval analysis algorithm for source code defect detection. Information and Control Systems. 2 (Apr. 2009), 34-41.