Software Testing, Verification and Reliability

Cover image for Software Testing, Verification and Reliability

December 2007

Volume 17, Issue 4

Pages 205–269

  1. Editorials

    1. Top of page
    2. Editorials
    3. Research Articles
    1. You have free access to this content
  2. Research Articles

    1. Top of page
    2. Editorials
    3. Research Articles
    1. A combinatorial testing strategy for concurrent programs (pages 207–225)

      Yu Lei, Richard H. Carver, Raghu Kacker and David Kung

      Article first published online: 7 JUN 2007 | DOI: 10.1002/stvr.369

    2. Studying the separability relation between finite state machines (pages 227–241)

      Natalia Spitsyna, Khaled El-Fakih and Nina Yevtushenko

      Article first published online: 21 AUG 2007 | DOI: 10.1002/stvr.374

SEARCH

SEARCH BY CITATION