Towards TestExt