One way to classify bounded domains of several complex variables is to determine the boundary behavior.  It is a conjecture of Greene and Krantz that if an automorphism orbit accumulates at the boundary of a smooth domain, then that point is of finite type in the sense of D'Angelo.  We will discuss some supporting results and a special case of the conjecture.