Stem vacuous$ (all stems)

3 papers:

FASE-2012-AlrajehKRU #learning #satisfiability #specification

Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.

RE-2011-PostHP #realtime #requirements

Vacuous real-time requirements (AP, JH, AP), pp. 153–162.

TACAS-2004-GurfinkelC #how #question

How Vacuous Is Vacuous? (AG, MC), pp. 451–466.