Model-based quality assurance of windows protocol documentation

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 502-506

  Grieskamp, Wolfgang ^a   MacDonald, Dave ^a   Kicillof, Nicolas ^a   Nandan, Alok ^a   Stobie, Keith ^a   Wurden, Fred ^a  

^a MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNATIONAL CONFERENCES; VERIFICATION AND VALIDATION;

COMPUTER NETWORKS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FLOW PATTERNS; QUALITY ASSURANCE; QUALITY CONTROL; TOTAL QUALITY MANAGEMENT; VERIFICATION; WINDOWS;

SOFTWARE TESTING;

EID: 50649100690     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.50     Document Type: Conference Paper

References (10)

1. Wolfgang Grieskamp. Multi-Paradigmatic Model-Based Testing. Invited talk in Klaus Havelund and Manuel Nunez and Grigore Rosu and Burkhart Wolff, FATES/RV, LNCS 4262, 2006.
2. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes. Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May 2005. To appear in Formal Methods and Testing, LNCS, Springer.
3. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA'02, volume 27 of Software Engineering Notes, pages 112-122. ACM, 2002.
4. Keith Stobie. Model based testing in practice at Microsoft. In Proceedings of the Workshop on Model Based Testing (MBT 2004), volume 111 of Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
5. Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann. Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726, 2006.
6. Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte. Model-based software testing and analysis with C#. Cambridge University Press, 2008 (to appear).
7. Wolfgang Grieskamp and Nicolas Kicillof. A schema language for coordinating construction and composition of partial behaviors. In Proceedings of the 28th International Conference on Software Engineering & Co-Located Workshops - 5th International Workshop on Scenarios and State Machines. ACM, May 2006.
8. Yuri Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Boerger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
9. Mark Utting and Bruno Legeard. Practical Model-Based Testing. Morgan-Kaufmann, 2007.
10. The Technical Committee. URL: http://www.thetc.org.