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 ([EMAIL PROTECTED]) or
- Marko van Eekelen ([EMAIL PROTECTED])
Please submit your abstract to [EMAIL PROTECTED].
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.
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
