The black box groups were introduced by Babai and Szemerdi in 1984 and were used as a formalism for (constructive) group recognition and property testing.
The black box groups were introduced by Babai and Szemeredi in 1984. They were used as a formalism for (constructive) group recognition and property testing. 
