Coverage metrics for temporal logic model checking* Hana ChocklerOrna KupfermanMoshe Y. Vardi OriginalPaper 02 June 2006 Pages: 189 - 212
Feature interaction detection by pairwise analysis of LTL properties—A case study Muffy CalderAlice Miller OriginalPaper 09 June 2006 Pages: 213 - 261
Optimistic synchronization-based state-space reduction Scott D. StollerErnie Cohen OriginalPaper 02 June 2006 Pages: 263 - 289