2 citations · 2 across the 1 of their papers we have counts for
1 paper
Sylvain Hallé, Oussama Beroual
We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties. This techniq…