pith. sign in

arxiv: 1009.3306 · v1 · pith:32TDWS7Onew · submitted 2010-09-17 · 💻 cs.SE · cs.FL· cs.LO· cs.PL· cs.SC

Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software

classification 💻 cs.SE cs.FLcs.LOcs.PLcs.SC
keywords softwareinternationaltestinganalysisfourthverificationworkshopassociated
0
0 comments X
read the original abstract

This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010). The collection of papers includes research on formal specification, model-checking, testing, and debugging of Web software.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.