1. Coverage metrics for temporal logic model checking^*

   • Hana Chockler
   • Orna Kupferman
   • Moshe Y. Vardi

   OriginalPaper 02 June 2006 Pages: 189 - 212

   

2. Feature interaction detection by pairwise analysis of LTL properties—A case study

   • Muffy Calder
   • Alice Miller

   OriginalPaper 09 June 2006 Pages: 213 - 261

   

3. Optimistic synchronization-based state-space reduction

   • Scott D. Stoller
   • Ernie Cohen

   OriginalPaper 02 June 2006 Pages: 263 - 289