Model Driven Engineering Technology

Model Based Testing

• "Choosing a Test Modeling Language: a Survey"

  A. Hartman, M. Katara, and S. Olvovsky. To appear in Proceedings of the Haifa Verification Conference, October 2006.

• "Model Based Testing - What? Why? How? and Who Cares?"

  A. Hartman, Keynote address at International Symposium on Software Testing and Analysis (ISSTA) 2006.

• "Model Based Testing - A Sober Evaluation"

  A. Hartman, Invited Address at the Workshop on Model Based Testing (MBT) 2006.

• "The AGEDIS Tools for Model Based Testing"

  A. Hartman and K. Nagin, to appear in Proceedings of ISSTA 2004.

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

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

• "Problems and Algorithms for Covering Arrays"

  A. Hartman, L. Raskin, Discrete Math, Vol 284/1-3 pp 149-156.

• "Projected State Machine Coverage for Software Testing"

  A. Hartman, K. Nagin, T. Shiran, G. Freidman, Proceedings of ISSTA 2002.

• "A Test Execution Environment Running Abstract Tests for Distributed Software"

  A. Hartman, A. Kirshin, K. Nagin, presented at SEA 2002.

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

• "Using a Model-Based Test Generator to Test for Standards Conformance"

  E. Farchi, A. Hartman, S. Pinter, IBM System Journal 41 (2002) 89-110.

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

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

Model Execution

• "A UML Simulator Based on a Generic Model Execution Engine", Andrei Kirshin, Dolev Dotan, and Alan Hartman, in: MoDELS Workshops 2006 - LNCS, Springer, 2007.
• "Debugging and Testing Behavioral UML Models", Dolev Dotan and Andrei Kirshin, in: OOPSLA Companion 2007, ACM, 2007.
• "A UML Simulator Based On a Generic Model Execution Engine"

  A. Kirshin, D. Moshkovich, and A. Hartman, Proceedings of the European Conference on Modelling and Simulation (ECMS) 2006.

Model Driven Development

• "A Declarative Approach for Model Composition", J. Rubin, M. Chechik and S. Easterbrook, In Proceedings of ICSE'08 Workshop on Modeling in Software Engineering (MiSE'08), May 2008.
• "Model Traceability", N. Aizenbud-Reshef, B.T. Nolan, J. Rubin, and Y. Shaham-Gafni, IBM Systems Journal 45 (2006), pp. 515-526.
• "MDA Approach for Maintenance Business Applications"

  M. Keren, A. Kirshin, J. Rubin, and A. Truu, Proceedings of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA) 2006.

• "Operational Semantics for Traceability", N. Aizenbud-Reshef, R.F. Paige, J. Rubin, Y. Shaham-Gafni, and D.S. Kolovos, in Proceedings of the European Conference on Model Driven Architecture (ECMDA) Traceability Workshop, 2005, pp. 7-14.
• "System Data Management: An Inter-Disciplinary Collaboration Architecture for Systems Engineering", J. Gomes, M.-M. Singh, M. Keren, S. Zeng, J. Rubin, L. Balmelli, and I. Boier-Martin, in Proceedings of the 2005 ASME International Design Engineering Technical Conferences & Computers and Information In Engineering Conference. Also IBM Research Report RC23613.
• "Designing Procedural 4GL Applications through UML Modeling", Shiri Kremer-Davidson, Mila Keren, Sara Porat, and Gabi Zodik, Workshop of the pUML-Group held together with the UML, German InformationSociety, 2001.
• "MDD Enablement Tooling"

  White paper.