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...

Cijeli opis

Bibliografski detalji
Izdano u:Software engineering notes. 30, 5 (2005).
Glavni autor: Dalal, Siddhartha R.
Format: Članak
Jezik:English
Teme:
General literature.
Introductory and survey.
Software.
Software engineering.
Software / Program Verification.
Model checking.
Testing and debugging.
Design.
Documentation.