An automated testing framework for ADF