International Symposium on Software Testing and Analysis
Co-located with 3rd Workshop on Formal Methods in Software Practice (FMSP)
Slides from ISSTA 2000 presentationsThe ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2000) was held August 21-23 in Portland, Oregon. Slides of the presentations are now available.
Advance ProgramISSTA 2000 highlights:
Download the Advance Program in pdf
Scope of the Conference
ISSTA is the leading research conference in software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience. The ISSTA program will include TUTORIALS, PAPERS (both regular and short), and PANELS.
PAPERS describing original research in testing or analysis of computer software are invited, including but not limited to papers addressing testing and analysis of particular classes of software. Papers describing both theoretical and empirical research as well as reports and in-depth analysis of experience with methods or tools are welcome.
PANEL PROPOSALS for panel sessions on current testing and analysis topics are also invited.
TUTORIAL PROPOSALS for half-day or full-day tutorials on current testing and analysis topics are invited.
Submission GuidelinesPAPERS must be prepared in ACM conference format. Regular papers must not exceed 11 pages in camera-ready form, including figures and references. Short papers must not exceed five pages in camera-ready form, including figures and references. Papers must be printable on 8.5x11 paper. For both regular and short papers, a separate abstract must be submitted 1 week before the full paper.
PANEL PROPOSALS must include title, name and contact information of the organizer, names of panelists, and a one-page description of the topic. The panelists should have agreed to participate prior to submission of the proposal.
TUTORIAL PROPOSALS must include title, name and contact information of the tutor, outline of the proposed tutorial, and a one-page description of the topic.
All submissions must be in English, and the submission process will be carried out electronically via the Web. Regular papers, short papers, panel proposals, and tutorial proposals must be submitted as PostScript documents that are interpretable by Ghostscript, or in PDF format, and they must be printable on both USLetter and A4 paper. (Those individuals for which this requirement is a hardship should contact the program chair.) More details concerning submissions will be available soon.
Authors of accepted papers will be required to sign ACM copyright release forms.
Electronic Submission (required)You will submit both your abstract and your paper using ISSTA's Electronic Submission site. You will use this site for both abstract and paper submissions. Remember that abstracts must be submitted by February 22, 2000 and papers must be submitted by Feb 29, 2000.
Camera-Ready RequirementsFinal camera-ready copies of papers are due on June 16, 2000. You will submit the papers in standard ACM Sig-publication format. This means that papers will be formatted in 9 point font instead of 10 point font (that was required for submissions). You can get the format at ACM SIG Proceedings Templates. You will have an 11-page limit for regular papers and a 5-page limit for short papers.
Back to top of this page
Back to joint ISSTA 2000 and 3rd FMSP Home Page
Last modified: Sunday, August 26, 2000.