[PVS] Invitation to RT 2007

[Johannes Mayer <johannes.mayer@xxxxxxxxxx>]

Dear colleague,

we are organizing a workshop dedicated to the use of randomness
in software testing.

We cordially invite you to submit a paper and attend the Second
International Workshop on Random Testing (RT'07) which will
be co-located with ASE'07 in Atlanta, Georgia, on November 6, 2007.
Please find the Call for Papers attached to this email. Please fell free
to distribute this CfP among your colleagues and students.

With our best personal regards,
Marie-Claude Gaudel, Johannes Mayer, and Robert Merkel
RT'07 co-organizers

---------------------------------------------

                          Call for Papers

                  Second International Workshop on
                      RANDOM TESTING (RT 2007)

     co-located with the 22nd IEEE/ACM International Conference on
             Automated Software Engineering (ASE 2007)

              Atlanta, Georgia, USA, November 6, 2007

          http://www.mathematik.uni-ulm.de/sai/mayer/rt07/

- Deadline for submission of abstracts: July 2, 2007
- Proceedings published in the ACM Digital Library


THEME AND GOALS

Testing remains the primary means by which the efficacy of software is
assessed. It is, however, labour-intensive, slow, and highly reliant on
the specialized skills of human testers, in themselves error prone. The
automation of testing processes is therefore a topic of considerable
practical importance; Random Testing represents a relatively simple
and practical method of doing so, and has been used in a variety of
industrial applications. It is used for many types of testing, from unit
debug testing to reliability and performance assessments of complete
systems. Its sheer simplicity is also of theoretical interest, as an
easily modelled baseline that other testing techniques can be compared to.

The goal of this workshop is to bring together researchers, engineers,
and practitioners to discuss and evaluate the latest challenges and
breakthroughs in the field of Random Testing and to identify future trends
and problems in this area. The combination of people from both academia
and industry is intended to help on the one hand transferring problems
from industry to academia and on the other hand providing practical
applications for theoretical research results.


TYPES OF PAPERS

  - Full length papers (8 pages maximum)
  - Short papers (4 pages)
  - Position papers (4 pages)


TOPICS OF INTEREST

Topics of interest include, but are not limited to:

  - Test automation based on randomness
  - Tools supporting the application of random testing
  - Strategies for random test case selection
  - Hybrid testing approaches taking advantage of randomness (such as
    e.g. Directed Random Testing)
  - Test oracles based on random test inputs
  - Empirical studies of Random Testing
  - Application of Random Testing to programs with complex input domains,
    i.e. random generation of complex inputs
  - Reliability estimates based on Random Testing results
  - Usage profiles guiding Random Testing
  - Application of Random Testing to different test levels (such as
    system test, integration test, module test, performance tests, etc.)

Papers from academia and industry on original research results are welcome
as well as contributions describing experiences with the application of
Random Testing.


CONTRIBUTIONS AND SUBMISSION

Contributions can have the form of position papers, full technical papers
and short papers. They must be unpublished and not under consideration
for publication elsewhere.

Papers must be prepared in ACM conference format and must not exceed 4
pages (position and short papers) resp. 8 pages (full technical papers)
including figures and references. All submissions must be in English.

Papers must be submitted in PDF format via the online submission system
(which will open some weeks before the submission deadline ends.

All submitted papers will be reviewed by at least three members of
the Program Committee. Acceptance will primarily be based on quality,
relevance, and potential to generate discussion.

Accepted papers will be published in the ACM Digital Library and will
be available to all authors of accepted papers prior to the workshop
(in electronic form). Authors of accepted papers will be required to
sign an ACM copyright form.


IMPORTANT DATES

Submission of Abstracts:	July 2, 2007
Submission of Papers:		July 9, 2007
Notification of Acceptance:	August 6, 2007
Camera Ready Copy:		August 27, 2007
Workshop:			November 6, 2007


ORGANIZERS AND PROGRAM COMMITTEE CO-CHAIRS

Marie-Claude Gaudel (LRI, Universiti de Paris-Sud, France)
Johannes Mayer (Ulm University, Germany)
Robert Merkel (Swinburne University of Technology Australia)

PROGRAM COMMITTEE MEMBERS (to be completed!)

T.Y. Chen (Swinburne University of Technology, Australia)
Bojan Cukic (West Virginia University, USA)
Rainer Gerlich (BSSE, Immenstaad, Germany)
Patrice Godefroid (Microsoft Research, USA)
Arnaud Gotlieb (IRISA, France)
Sandrine-Dominique Gouraud (LRI, Université de Paris-Sud 11, France)
Walter Gutjahr (University of Vienna, Austria)
Fei-Ching Kuo (Swinburne University of Technology, Australia)
Barton P. Miller (University of Wisconsin, USA)
Wolfram Schulte (Microsoft Research, Redmond, USA)
Koushik Sen (University of California at Berkeley, USA)
Eric Wong (University of Texas at Dallas, USA)