Iterating over all stabilizer operations on $k$ qubits
Since stabilizer circuits are exactly those which map stabilizers to stabilizers, you could characterize them via their action on a basis of stabilizers, see for instance Sec 2.3 of http://home.lu.lv/~sd20008/papers/essays/Clifford%20group%20[paper].pdf.