Claim: The black box groups were introduced by Babai and Szemerédi in 1984 and were used as a formalism for (constructive) group recognition and property testing.
Evidence: The black box groups were introduced by Babai and Szemerédi in 1984. They were used as a formalism for (constructive) group recognition and property testing.