6 papers:
DATE-2010-GuglielmoFP #analysis- Vacuity analysis for property qualification by mutation of checkers (LDG, FF, GP), pp. 478–483.
TAP-2008-BallK #testing- Vacuity in Testing (TB, OK), pp. 4–17.
CAV-2006-TzorefG #automation #detection #evaluation #refinement- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.
- CAV-2004-Namjoshi #model checking
- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking (KSN), pp. 57–69.
- CAV-2003-ArmoniFFGPTV #detection #linear #logic
- Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
- CAV-1997-BeerBER #detection #performance
- Efficient Detection of Vacuity in ACTL Formulaas (IB, SBD, CE, YR), pp. 279–290.
