The first international workshop on automated program analysis, testing and verification
Page 40
Abstract
This paper reports on the First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV) held in Limerick on the 4th-5th June 2000, as part of the International Conference on Software Engineering 2000. We begin by presenting an overview of the workshop aims and then focus on the workshop's technical program.
- The first international workshop on automated program analysis, testing and verification
Recommendations
Un programme universel de dépouillement intelligent de documents librement structurés
RIAO '04: Coupling approaches, coupling media and coupling languages for information retrievalLa Chaîne de Traitement LADS permet de traiter tout type de document librement structuré pour en extraire tout type de données. Le langage DSL permet la Description de la Structure Logique du type de document de l'application paramétrée, ainsi que la ...
First International Workshop on Quantum Software Engineering (Q-SE 2020)
The First International Workshop on Quantum Software Engineering (Q-SE 2020), co-located with the 42nd International Conference on Software Engineering (ICSE 2020), was held between July 2 and July 3, 2020. The workshop was originally scheduled to be a ...
Comments
Information & Contributors
Information
Published In
Copyright © 2001 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 2001
Published in SIGSOFT Volume 26, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 410Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in