Did you use a scan tool to test or a code reader? Code readers might not have the capability to read ABS rerlated codes.
Btw you if lift the vehicle and test with transmisison in D, it can trigger ABS and TCS codes.
When vehicle has stopped after driving, did you try turning engine off and pushing vehicle to check if it is the brakes that is locked? If vehicle can move freely, it could be a fault with the transmission or axle shafts.
Saturday, October 27th, 2012 AT 6:40 PM