Testing technologies for aBOOKadabra