Automorphism group computation for graphs