Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Gwen Sala\"un, Xiang Fu, Sylvain Hall\'e
TL;DR
This collection of papers from a workshop focuses on advanced techniques for testing, analyzing, and verifying web software, including formal methods, model-checking, testing, and debugging, to improve software quality.
Contribution
It presents recent research advancements in formal specification, model-checking, testing, and debugging specifically tailored for web software systems.
Findings
Enhanced formal specification methods for web software
Improved model-checking techniques for web applications
Novel testing and debugging approaches for web software
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.