The proceedings of the AADEBUG 2000 workshop will be published at Computer Research Repository (CoRR). CoRR is an on-line web-based service sponsored by ACM, the Los Alamos e-Print archive, and NCSTRL (Networked Computer Science Technical Reference Library). Its objective is to facilitate widespread dissemination of and access to computer science papers and technical reports.

The main page of the workshop is already loaded at http://xxx.lanl.gov/abs/cs.SE/0010035

The following instructions have been tested on an article http://xxx.lanl.gov/abs/cs.SE/0010038

You need to follow the following steps to have your paper included in the proceedings:

1. Learn about CoRR (if you are new to the repository). The best way is to visit the following sites:
• CoRR welcome page
• CoRR welcome page at the ACM site
• CoRR help page
• CoRR frequently-asked questions page
2. Register with CoRR (if you are not registered with CoRR):
• Visit the uploads help page and follow the link to Directions for Author Registration
• Or, go from here to Directions for Author Registration
3. Prepare the final version of your paper as a LaTeX document. In your latex file use the following format (try to modify it as little as possible):

   ---

   %%%%% Replace strings in between ** ** with your own data
   \documentclass[twoside,12pt]{article}
   \begin{document}
   \pagestyle{myheadings}
   \markboth{AADEBUG 2000}{ ** running title for headings **}
   \title{ ** title **
   \footnote{In M. Ducass\'e (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. COmputer Research Repository (http://www.acm.org/corr/), cs.SE/yymmnnn; whole proceedings: cs.SE/0010035.}}
   \author{ ** Authors **\\
   ** Institution **\\
   ** Email and web page address **}
   \date{}
   \maketitle
   \begin{abstract}
   ** your abstract **
   \end{abstract}
   ** your article body **
   \bibliographystyle{plain}
   \bibliography{ ** your bibtex file(s) **}
   ** Once the bibliography is OK, insert your *.bbl file physically here **
   ** and comment out the \bibliographystyle and \bibliography lines.
   \end{document}

   ---

   Note that the cross reference is important to enable readers to easily find the other articles of the proceedings.

4. If TeX/LaTeX submission is absolutely not possible, prepare your contribution as HTML, PDF or Postscript document. Make sure to cite the whole proceedings as specified above. Refer to the CoRR page concerning submission formats for help.
5. Upload your file to CoRR.
• To upload, go to the uploads page and then follow the link to the submission form
• When entering title and abstract make sure to enter at least the following information
  • Title: your title
  • Authors: the authors
  • Comments: In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035
  • Subj-class: Software engineering ; Programming languages
  • ACM-class: D.2.5
    (testing and debugging)
• Important: if TeX/LaTeX format is used, upload the Tex/LaTeX source file!
6. By December 18th, 2000 provide the EDITOR (ducasse@irisa.fr) with the URL of your paper specifying its location in CoRR. It will be used in the proceedings to provide a link to your paper.