1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2015
Exploration of the scalability of LocFaults
Mohammed Bekkouche
A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the larges…
cs.AI2015★ 1 cited
Exploration of the scalability of LocFaults approach for error localization with While-loops programs
Mohammed Bekkouche
A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the larges…