AMBIANT: automatic generation of behavioral modifications for testability | IEEE Conference Publication | IEEE Xplore