Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Salaün, Gwen · Fu, Xiang · Hallé, Sylvain
Software Engineering
Formal Languages and Automata Theory
Logic in Computer Science
Programming Languages
Symbolic Computation
D.2.2;D.2.4;D.2.5;H.3.5;H.5.3
الأصل · EN
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.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.