Model-driven Testing

Documents

• Model Driven Testing Whitepaper
• Model Driven Testing Overview
• GOTCHA Users Guide
• Spider Test Execution Engine User Guide
• AGEDIS Test Suite Users Guide
• Combinatorial Test Services Users Guide

Papers

1. "Model Based Testing - What? Why? How? and Who Cares?", A. Hartman, Keynote address at International Symposium on Software Testing and Analysis (ISSTA) 2006.
   
   
2. "Model Based Testing - A Sober Evaluation", A. Hartman, Invited Address at the Workshop on Model Based Testing (MBT) 2006.
   
   
3. The AGEDIS Tools for Model Based Testing, A. Hartman and K. Nagin, to appear in Proceedings of ISSTA 2004.
   
   
4. AGEDIS Case Studies - Model-based testing in industry, I. Craggs, M. Sardis, and T. Heuillard, in Proceedings of the 1st European Conference on Model Driven Software Engineering, Nuremburg 2003.
   
   
5. Model Driven Testing - AGEDIS architecture, interfaces, and tools, A. Hartman, and K. Nagin, in Proceedings of the 1st European Conference on Model Driven Software Engineering, Nuremburg 2003.
   
   
6. Modelgebaseerde testgeneratie en uitvoering, A. Hartman, S. Proeyen, Dutch magazine Informatie. Publication date: June 2003.
   
   
7. Problems and Algorithms for Covering Arrays, A. Hartman, L. Raskin, Discrete Math, Vol 284/1-3 pp 149-156.
   
   
8. Projected State Machine Coverage for Software Testing, A. Hartman, K. Nagin, T. Shiran, G. Freidman, Proceedings of ISSTA 2002.
   
   
9. A Test Execution Environment Running Abstract Tests for Distributed Software, A. Hartman, A. Kirshin, K. Nagin, presented at SEA 2002.
   
   
10. Software and Hardware Testing Using Combinatorial Covering Suites, A. Hartman, a chapter in "Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications", published by Kluwer Academic Publishers.
    
    
11. Using a Model-Based Test Generator to Test for Standards Conformance, E. Farchi, A. Hartman, S. Pinter, IBM System Journal 41 (2002) 89-110.
    
    
12. A study in coverage driven test generation, M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, Y. Wolfsthal, Proceedings of the 36th Design Automation Conference (DAC) June 1999.
    
    
13. TCBeans, Software test toolkit, A. Hartman, K. Nagin, Proceedings of the 12th International Software Quality Week (QW99) May 1999.
    
    
14. Does Test Length Matter?, A. Hartman, S. Ur, A. Ziv, Proceedings of StarWest 2000, October 2000.
    
    
15. Short Vs. Long - Size does make a difference, A. Hartman, S. Ur, A. Ziv, IEEE International Workshop on High Level Design Validation and Test (HLDVT 99) November 1999.
    
    
16. Using UML for Automatic Test Generation, A. Cavarra, J. Davies, A. Hartman, T. Jeron, L. Mounier, S. Olvovsky, submitted for publication.

Presentations

• Model Driven Testing Overview
• GOTCHA Tutorial
• Spider Execution Engine Overview

Print this page