🚀 go-pugleaf

                         CALL FOR PAPERS

          Symposium on Testing, Analysis and Verification


        Victoria, British Columbia, Canada     October 8-10, 1991

                     Sponsored by ACM Sigsoft


The purpose of this meeting is to bring together researchers and
practitioners who are working in the areas of software analysis,
testing, and formal verification.  Papers and panel session proposals
are invited on current and emerging techniques, strategies, processes
and tools for determining the presence or absence of errors in software
and for inferring other characteristics of software quality.

Papers should be a maximum of 5000 words in length.  They should present
a clear picture of the original contributions made by the paper, while
also carefully relating the work presented to the work of others.  The
highest quality papers from the symposium may be considered for
publication in a special issue or section of a research journal.

Authors should send six copies of their paper or panel proposal to the
Program Committee Chair, Nancy Leveson, at the address below.
Papers must be received by March 1, 1991.
Authors will be notified of acceptance by May 15, 1991.
Camera-ready papers are due not later than July 1, 1991.


Program Committee

      Victor Basili     Mark Moriconi     Stephen Schach
      Lori Clarke       Mitsura Ohba      Gene Spafford
      John Gannon       Tom Ostrand       K.C. Tai
      Susan Gerhart     Dewayne Perry     Elaine Weyuker
      Carlo Ghezzi      Richard Platek    Jack Wileden
      Richard Hamlet    Debra Richardson  Bill Young
      John Knight       John Rushby       Michal Young

For other information concerning the symposium contact:

      General Chair:                 Program Chair:
        Prof. William Howden           Prof. Nancy Leveson
        Computer Science Dept.         Computer Science Dept
        University of California       University of California
        La Jolla, California 92093     Irvine, California 92717
        USA                            USA
        (619) 534-2723                 (714) 856-5517