14 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
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…