Learning from Vacuously Satisfiable Scenario-Based Specifications.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel

Browse the full FASE paper archive.