Test input generation for red-black trees using abstraction - Visser, Willem; Păsăreanu, Corina S.; Pelánek, Radek (Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, 2005)