ICSE Workshop CFP: WAPATV
19 Jan 2001, submitted by Nigel Tracey (njt at cs.york.ac.uk)
The Second International Workshop on Automated Program
Analysis, Testing and Verification (WAPATV)
Call for papers
Overview
--------------------------
Software verification is an expensive process, typically
costing upwards of 50% of the total software development
costs. Automation has massive potential to reduce costs,
increase quality and cut time-to-market. Many verification
techniques exist and are being actively researched: static
analysis, testing and formal verification. However, they
have largely been applied as isolated technologies. Due to
recent developments in static analysis, automated testing
and automated program verification, the boundaries between
these fields have begun to blur. There are many open
questions regarding the integration of automated testing and
verification, the relationships between different
algorithms, and the use of static analysis to assist testing
and verification.
The goal of this workshop is to gather the most active
researchers and industrial practitioners from the fields of
automated program analysis, testing and verification to
discuss the overlap and integration between these fields.
Relevant issues include theoretical foundations, tools and
techniques, empirical studies and industrial experience. At
the first WAPATV workshop in Limerick, transferring the
state-of-the-art advances into the state-of-practice was
identified as a major issue. In addition to discussing
recent advances and industrial achievements, this workshop
will attempt to examine the barriers to technology transfer
and how they can be circumvented.
The format of the workshop will consist of number of mini-
panel discussion sessions. Related submission of work-in-
progress and position papers will be briefly presented
followed by discussion time. The workshop is a one day
event, however a joint morning session with the SEMINAL
workshop has been arranged for the morning following WAPATV.
This session will examine how metaheuristic techniques have
been used to automate software testing and examine whether
these techniques may be exploited in other areas of interest
to WAPATV.
The topics of interest include any aspect of automated
program analysis, testing and verification from both
industry and academia. These include, but are not limited
to:
* static analysis techniques for program reduction
* static analysis techniques for error detection
* automated testing and test-case generation
* automated regression testing
* industrial case studies
* automated abstraction
* technology transfer issues
* integration of verification and testing techniques
* analysis techniques to support verification/testing
Participation
-------------
Participants are encouraged to submitted an extended
abstract, work-in-progress report or position paper. The
submissions should be between 2 and 8 pages. It should
explain the contribution to the field and the novelty of the
work, making clear the current status of the work.
Workshop submissions should be sent electronically to one of
the organisers.
Important Dates:
Submissions: Mar 15, 2001
Notification: Mar 31, 2001
The workshop is open to anyone interested in this area, but
a preference will be given to those with a submission if
attendance must be limited. Workshop registration is handled
by ICSE.
Organising Committee
--------------------
John Penix
NASA Ames Research Center, USA jpenix@ptolemy.arc.nasa.gov
Nigel Tracey
Realogy, UK
ntracey@realogy.com (or njt@cs.york.ac.uk)
Willem Visser
RIACS, NASA Ames Research Center, USA
wvisser@ptolemy.arc.nasa.gov
Program Committee
-----------------
John Clark University of York
Dennis Dams University of Eindhoven
Andrew Galloway University of York
Patrice Godefroid Lucent Technologies
Phyllis Frankl Polytechnic University
Gerard Holzmann Lucent Technologies
Bryan Jones University of Glamorgan
Bogdan Korel Illinois Institute of Technology, Chicago
Rustan Leino Compaq Systems Research Center
Riccardo Sisto University of Torino
Daniel Weise Microsoft Research
Martin Woodward University of Liverpool
===========================================================================
To contribute to seworld, send your message to seworld@cs.colorado.edu
http://www.cs.colorado.edu/serl/seworld provides more information on
seworld as well as a complete archive of the messages sent to seworld.
Requests to be added to or removed from seworld should go to
majordomo@cs.colorado.edu
to subscribe send (in the body of the message)
subscribe seworld <desired e-mail address>
to unsubscribe send (in the body of the message)
unsubscribe seworld <registered e-mail address>
===========================================================================