Advances in model-based software testing (A-MOST).

Advances in model-based software testing (A-MOST).

This is a summary of the Advances in Model-Based Software Testing (A-MOST) workshop held on May 15-16, 2005, in St. Louis, Missouri. The workshop had approximately 40 participants. The goals of this workshop were to offer a comprehensive overview of model-based testing to the ICSE community, and bri...

詳細記述

書誌詳細
出版年:Software engineering notes. 30, 5 (2005).
第一著者: Dalal, Siddhartha R.
フォーマット: 論文
言語:English
主題:
General literature.
Introductory and survey.
Software.
Software engineering.
Software / Program Verification.
Model checking.
Testing and debugging.
Design.
Documentation.