Conference announcements

Technical Program -
ACM SIGSoft International Symposium on Software Testing and Analysis (ISSTA'2002)


Date: Wed, 28 Aug 2002 11:09:53 -0700
From: sr@qualityweek.com
To: Dirk.Craeynest@cs.kuleuven.ac.be
Subject: Quality Techniques Newsletter (QTN) August 2002

[...]
========================================================================

                    ISSTA 2002 Technical Program

The just-concluced ISSTA 2002 workshop in Rome, Italy, presented a
number of very good papers.  The complete technical program and many
of the detailed slide presentations are available at:

          <http://www.iei.pi.cnr.it/ISSTA2002/program.htm>

While all of the ISSTA presentations are quite strong, QTN readers
who are interested in practical aspects of software quality should
see these papers in particular:

  * Ostrand and Weyuker, "The Distribution of Faults in a Large
    Industrial Softawre System"

  * Srivastava and Thiagarajan, "Effectively Prioritzing Tests in a
    Development Environment"

  * Moors, Veeraghavan, Tao, Zheng, and Badri, "Experiences in
    Automating Testing of SS7 Signalling Transfer Points"

  * Dick Hamlet, "Continuity in Software Systems"

========================================================================
[...]

Call for Participation -
ACM SIGSoft International Symposium on Software Testing and Analysis (ISSTA'2002)


Date: Mon, 13 May 2002 08:50:06 -0600 (MDT)
From: nigel.tracey@livedevices.com
To: seworld@cs.colorado.edu
Subject: (SEWORLD) ISSTA 2002: Advanced Program and Call for Participation

Please find below the advanced program and call for participation for the
upcoming International Symposium on Software Testing and Analysis (ISSTA)
2002. Apologies for if you get multiple copies.

Nigel
--
Dr. Nigel Tracey
LiveDevices
www.livedevices.com

Advanced Program and Call For Participation

International Symposium on Software Testing and Analysis (ISSTA 2002)
Residenza di Ripetta, Roma, Italy. July 22-24, 2002.

Sponsored by ACM SIGSOFT.

Co-located with Third International Workshop on Software Performance (WOSP
2002)
Residenza di Ripetta, Roma, Italy. July 24-26, 2002.


Early Registration Deadline: 31 May 2002
(To download the registration form in .pdf:
http://www.iei.pi.cnr.it/ISSTA02/registrationISSTA02.pdf )

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.

General Chair - Antonia Bertolino, IEI-CNR, Pisa, Italy.
Program Chair - Phyllis Frankl, Polytechnic University, Brooklyn, New York,
USA
Publicity Chair - Nigel Tracey, LiveDevices, York, UK

Conference Home Page: http://www.iei.pi.cnr.it/ISSTA02/


ADVANCED PROGRAM.

ISSTA 2002 Program Highlights

* 2 Keynote Presentations
* Industrial Panel Session
* 26 Technical Papers
* Two Joint Sessions with WOSP

ISSTA 2002 Program Details (full details:
http://www.iei.pi.cnr.it/ISSTA02/program.htm )

Keynotes.
Embedded Software Testing in the Automotive Domain
Aldo Borrione,
Director Embedded Software Design and Development,
Centro Ricerche FIAT, Orbassano, Torino, Italy.

Qualitative and Quantitative Validation of Software Systems: A Model-based
View on Integrated Analysis
Prof. Ed Brinksma,
Chair of Formal Methods and Tools,
Univerity of Twente, Netherlands.

Technical Sessions.
* Static Analysis of Java Programs
* Validating Security Properties
* Fault and Failure Analysis
* Improving Testing Efficiency
* Specification-based Testing
* Conformance and Interoperability
* Analysis of Concurrent Programs
* Theory of Testing and Reliability
* Dynamic Analysis (joint session with WOSP)
* Performance Analysis Along the Software Life Cycle (joint session with
WOSP)

Panel.
Is ISSTA Research Relevant to Industrial Users?
Moderator: Antonia Bertolino
Panelists: Gualtiero Bazzana (Onion, Italy), Vincent Encontre (Rational,
France), Alan Hartman (IBM, Israel), Emilia Peciola (Ericsson Lab, Italy),
Ashok Sreenivas (TRDDC, India)

Call for Papers -
ACM SIGSoft International Symposium on Software Testing and Analysis (ISSTA'2002)


Date: Sun, 18 Nov 2001 01:01:41 +1100
From: Centre for Software Engineering <cse@it.swin.edu.au>
To: Dirk.Craeynest@cs.kuleuven.ac.be
Subject: ISSTA 2002 Call for Papers


================================================================
                                   C A L L   F O R   P A P E R S

ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS

                                           I S S T A   2 0 0 2

                                     Co-located with WOSP '02

                                     Rome, Italy, July 22-24, 2002
                                 http://www.iei.pi.cnr.it/ISSTA2002/

ISSTA is the leading research conference in software testing and analysis,
bringing together academics, industrial researchers, and practitioners to
exchange new ideas, problems, and experiences.
The ISSTA program will include research papers, panels, and invited
presentations.  Attendance is open to all.

CONFERENCE SCOPE
Authors are invited to submit papers describing original research in
testing or analysis of computer software.
Papers describing theoretical or empirical research, new techniques and
tools, and in-depth case studies of software testing and analysis methods
and tools are welcome.

As ISSTA 2002 will be co-located with the Workshop on Software Performance
(http://univaq.it/~wosp02), papers on software testing, analysis, and
verification techniques targeting software performance issues are
particularly sought.

Submissions are encouraged in the following categories:
              - Regular Papers presenting original research, empirical
                   studies, or prototype development.
              - Panel Proposals or panel sessions on current testing and
                   analysis topics.

Submissions must be original and should not have been published previously
or be under consideration for publication while being evaluated for this
symposium.
Authors of accepted papers will be required to sign an ACM copyright
release form.
Authors of the best papers will be invited to submit extended and revised
versions to ACM Transactions on Software Engineering and Methodology.

SUBMISSION GUIDELINES
Papers must be prepared in ACM conference format, they must not exceed 11
pages in camera-ready form, including figures and references. Papers must
be submitted electronically in pdf or ps format.
A separate, one-page abstract must be submitted 2 weeks 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.

All submissions must be in English, and will be carried out electronically
via the Web. Further instructions and guidelines will be available from the
conference web page.

IMPORTANT DATES
Abstract submission:    January 18, 2002
Deadline for all submissions:    February 1, 2002
Notification of acceptance:     April 12, 2002
Camera-ready copy: 	May 6, 2002
ISSTA:    July 22-24, 2002

ISSTA COMMITTEE
General Chair:  Antonia Bertolino, IEI-CNR, Pisa, Italy,
bertolino@iei.pi.cnr.it

Program Chair:    Phyllis Frankl, Polytechnic University Brooklyn, NY, USA,
phyllis@morph.poly.edu

Program Committee:
Paul Amman (George Mason U., USA), Jo Atlee (U. Waterloo, Canada), George
Avrunin (U. Massachussetts, USA), Tevfik Bultan (U. California, Santa
Barbara, USA), Laura Dillon (Michigan State U., USA), Istvan Forgacs
(Balthazar Ltd., Hungary), Marie-Claude Gaudel (CNRS - U. Paris Sud,
France), Richard Hamlet (Portland State U., USA), Mary Jean Harrold
(Georgia Tech., USA), Michael Hind (IBM Watson Research, USA), Daniel
Jackson (LCS MIT, USA), Gleb Naumovich (Polytechnic U., USA), Tom Ostrand
(AT&T Labs Research, USA), Mauro Pezz (U. Studi Milano - Bicocca, Italy),
Lori Pollock (U. Delaware, USA), Gregg Rothermel (Oregon State U., USA),
Hasan Ural (U. Ottawa, Canada), Martin Woodward (U. Liverpool, UK)

Publicity Chair:   Nigel Tracey, LiveDevices, York, UK,
nigel.tracey@livedevices.com

Treasurer:   Vinicio Lami (IEI-CNR, Italy)

Organizing Committee:
TY Chen (Swinburn U., Australia), Alan Hartman (IBM HRL, Israel), Edward
Miller (SR Inc., USA), Domenico Natale (Sogei, Italy), Ashok Sreenivas
(TRDDC, India)

Organizing Secretariat:
Graciela Stiavetti, Incor DGMP, incor@sirius.pisa.it

####################################################

Call for Papers -
ACM SIGSoft International Symposium on Software Testing and Analysis (ISSTA'2002)


Date: Wed, 24 Oct 2001 15:44:43 -0600 (MDT)
Subject: (SEWORLD) CfP: International Symposium on Software Testing and Analysis
To: seworld@cs.colorado.edu
From: nigel.tracey@livedevices.com

[ 97 lines deleted; see updated version above -- dc ]

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2002/08/29.

Dirk Craeynest