5 papers:
DAC-2009-Thaker #question #verification- Holistic verification: myth or magic bullet? (PAT), pp. 204–208.
ICSM-2006-LuciaOS #approach #incremental #traceability- Incremental Approach and User Feedbacks: a Silver Bullet for Traceability Recovery (ADL, RO, PS), pp. 299–309.
HPCA-2006-ConstantinidesPBZBMAO #architecture #named- BulletProof: a defect-tolerant CMP switch architecture (KC, SP, JAB, BZ, VB, SAM, TMA, MO), pp. 5–16.
ICSE-2005-Twidale #development #open source #usability- Silver bullet or fool’s gold: supporting usability in open source software development (MT), p. 35.
SOSP-2003-KosticRAV #named #using- Bullet: high bandwidth data dissemination using an overlay mesh (DK, AR, JRA, AV), pp. 282–297.
