Generating Representation Invariants of Structurally Complex Data - Malik, Muhammad Zubair; Pervaiz, Aman; Khurshid, Sarfraz (Tools and Algorithms for the Construction and Analysis of Systems, 2007)
Keywords: Binary Search Tree; Input Structure; Integrity Constraint; Invariant Generation; Structural Invariant