Travelled to:
1 × Brazil
Collaborated with:
R.Abreu P.Zoeteweij A.J.C.v.Gemund
Talks about:
softwar (1) program (1) generic (1) automat (1) invari (1) local (1) fault (1) use (1)
Person: Alberto González
DBLP: Gonz=aacute=lez:Alberto
Contributed to:
Wrote 1 papers:
- SAC-2008-AbreuGZG #automation #fault #invariant #locality #using
- Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.