Scifaro

中文

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

软件工程 2010-09-20 v1 形式语言与自动机理论计算机科学中的逻辑编程语言符号计算

作者: Gwen Salaün , Xiang Fu , Sylvain Hallé

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷收录了第四届软件测试、分析与验证国际研讨会（与第 25 届 IEEE/ACM 国际自动化软件工程会议（ASE 2010）联合举办）上发表的论文。论文集涵盖形式化规约、模型检验、测试以及 Web 软件调试等方面的研究。

关键词

Web 软件测试分析验证形式化规约模型检验调试

引用

@article{arxiv.1009.3306,
  title  = {Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software},
  author = {Gwen Salaün and Xiang Fu and Sylvain Hallé},
  journal= {arXiv preprint arXiv:1009.3306},
  year   = {2010}
}