| 03 September 2006
| 
|
Calendar for September 2006
Here are some events we think may be of interest for this month.
These three workshops and conference events
suggest a slight but important resurgence of interest
in the technical issues
that surround and intertwine software analysis.
-
The Third International Workshop on
Quality Assurance and Testing of Web-Based Applications,
Chicago. Illinois, USA, 17-21 September 2006.
Following two prior workshops of the same name in
2004 (Hong Kong) and 2005 (Edinburgh),
this rendition will also focus on the special concerns
that are raised because of the "web" basis of the application.
-
The 6th International Workshop
on Automated Verification of Critical Systems,
Nancy, France, EU, 18-19 September 2006.
While not specifically focused on web applications,
the pervasiveness of the web clearly is a factor in this
workshop, which focuses on current methods (model checking,
probabilistic systems analysis).
-
Workshop on Constraints in
Software Testing, Verification, and Analysis,
Nantes, France, EU, 25-29 September 2006.
The constraint-based approach is still new to the area of
program analysis, but the results when applied to topics
like test case generation and heuristics suggest that
some significant new results will be possible.
|
