(apologies for multiple
copies)
CALL FOR PRESENTATIONS
VVSS2005 Innovative testing and feasible Verification &
Validation of Software Systems
Testing is confronted
with a demand for reducing its cost. Therefore it should provide more
explicitly its added value to its users. This requires more intelligent
testing that clearly shows its effectiveness and efficiency. At the same
time we see a growing interest in formal methods, e.g., to address
problems of software application in the automotive industry. But the
question still remains on the feasibility of V&V methods and
techniques in industrial practices. At VVSS2005 symposium we will
address both: Testing as well as Verification and Validation. The
symposium will include invited presentations, tool exhibitions and poster
sessions. It will be organized on the 24th of November 2005 at
Technische Universiteit Eindhoven.
VVSS 2005 is offering its speakers a unique opportunity to
present problems, solutions and experiences with Testing and Verification
& Validation of Software Systems. We invite practitioners, customers
as well as researchers for a presentation in one of our 8 tracks. The
timeframe for a presentation is 45 minutes or 30 minutes, including 10
respectively 5 minutes for questions.
Tracks
The tracks of VVSS2005 are on
several types of Testing and Verification & Validation:
·
Requirements Analysis to analyze
requirements on compliance, consistency and completeness.
·
Architecture analysis a check on the
consistency and completeness of architectural artefacts. Might concerns
component or information structure as well a detailed desig.
·
Structure analysis examine the structure of
source code
·
Testing of an Executing System Find defects
in an executing system as well as to estimate the number of remaining
defects
·
Behavior analysis examine the behavior of
source code
·
Security analysis to find weaknesses
in systems security
·
Performance analysis identification and
comprehension of potential sources of performance limitations
·
Usability analysis Analysis of the effort
needed to use a software system
Who can
present?
We encourage anyone who is
involved as provider, customer- in testing and verification &
validation to give a presentation at our symposium. Writing a one-page
abstract is mandatory.
We plan to publish abstracts, optionally full papers and presentation
slides in a technical report that will be provided to the symposium
participants.
Submissions
You are kindly invited to
contact us presenting a one-page long abstract. Work in progress, Ph.D.
summaries, experience reports, and system descriptions are welcome. For
further information please contact:
-
Teade Punter
(t.punter@laquso.com) or
-
Marko van Eekelen
(marko@cs.ru.nl)
Please submit your abstract to
vvss2005@laquso.com.
Important
dates
Submission deadline:
15th of June
Notification of acceptance: 30th of June
Symposium date: 24th of November 2005
Location:
Auditorium of Eindhoven University
of Technology, Eindhoven, the Netherlands
Organisation
The Symposium is organized by the
Laboratory for Quality Software (Laquso;
www.laquso.com) which is a joint
activity of Technische Universiteit Eindhoven and Radboud University of
Nijmegen.