|
- G. Friedman, A. Hartman, K. Nagin, T. Shiran, Projected State Machine Coverage for Software Testing, to appear in Proceedings of ISSTA 2002 International Symposium on Software Testing and Analysis (July 2002).
Available in (PDF, 232K)
- A. Hartman, Software and Hardware Testing Using Combinatorial Covering Suites, to appear in Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms (ed. M. Golumbic).
Available in (PDF, 422K)
- I. Gronau, A. Hartman, A. Kirshin, K. Nagin, S. Olvovsky, "A Methodology and Architecture for Automated Software Testing".
Available in (PDF, 134 K) and (PS, 562 K)
- M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, and Y. Wolfsthal, "A Feasibility Study in Formal Coverage Driven Test Generation", in Proceedings of the 36th Design Automation Conference, DAC99, June 1999.
Available in (PDF, 91 K) and (PS, 624 K)
- A. Hartman, K. Nagin, "TCBeans Software Test Toolkit" in Proceedings of the 12th International Software Quality Week, QW99, May 1999.
- E. Farchi, A. Hartman, S. S. Pinter "Using a Model-based Test Generator to Test for Standard Conformance", IBM System Journal - special issue on Software Testing.
Volume 41(1) (2002) Pp 89 - 110.
The article appears at: http://www.research.ibm.com/journal/sj/411/farchi.html
| |
|
