Stem ped$ (all stems)
2 papers:
- SEFM-2008-BalakrishnanG #fault #named
- PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.
- DATE-2001-BenabdenbiMM #testing
- Testing TAPed cores and wrapped cores with the same test access mechanism (MB, WM, MM), pp. 150–155.