Software: Practice and Experience

Cover image for Software: Practice and Experience

August 2004

Volume 34, Issue 10

Pages 915–1023

  1. Research Articles

    1. Top of page
    2. Research Articles
    1. Generation of test sequences from formal specifications: GSM 11-11 standard case study (pages 915–948)

      Eddy Bernard, Bruno Legeard, Xavier Luck and Fabien Peureux

      Version of Record online: 27 APR 2004 | DOI: 10.1002/spe.597

    2. SEFT: a search engine for text (pages 1011–1023)

      Owen de Kretser and Alistair Moffat

      Version of Record online: 21 MAY 2004 | DOI: 10.1002/spe.601