TY - RPRT TI - Exploration of the scalability of LocFaults approach for error localization with While-loops programs AU - Mohammed Bekkouche PY - 2015 UR - https://arxiv.org/abs/1503.05508 ID - 1503.05508 ER -