nancy@murphy.ICS.UCI.EDU (Nancy Leveson) (02/12/91)
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