1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…