第四届网络软件测试、分析与验证国际研讨会论文集

arXiv: Software Engineering Pub Date : 2010-09-17 DOI:10.4204/EPTCS.35

Gwen Salaun, Xiang Fu, Sylvain Hall'e

{"title":"第四届网络软件测试、分析与验证国际研讨会论文集","authors":"Gwen Salaun, Xiang Fu, Sylvain Hall'e","doi":"10.4204/EPTCS.35","DOIUrl":null,"url":null,"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.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software\",\"authors\":\"Gwen Salaun, Xiang Fu, Sylvain Hall'e\",\"doi\":\"10.4204/EPTCS.35\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":381434,\"journal\":{\"name\":\"arXiv: Software Engineering\",\"volume\":\"79 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-09-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv: Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.35\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv: Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.35","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本卷包含在第四届软件测试、分析和验证国际研讨会上发表的论文，该研讨会与第25届IEEE/ACM自动化软件工程国际会议(ASE 2010)有关。论文集包括对Web软件的形式规范、模型检查、测试和调试的研究。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv: Software Engineering

自引率

0.00%

发文量