| 2004 |
|---|
| 6 | EE | A. Hartman,
K. Nagin:
The AGEDIS tools for model based testing.
ISSTA 2004: 129-132 |
| 2002 |
|---|
| 5 | EE | G. Friedman,
A. Hartman,
K. Nagin,
T. Shiran:
Projected state machine coverage for software testing.
ISSTA 2002: 134-143 |
| 4 | EE | A. Hartman:
Is ISSTA research relevant to industry?
ISSTA 2002: 205-206 |
| 1989 |
|---|
| 3 | EE | K. Nunez,
Thomas A. Gerace,
A. Hartman:
The costly implications of consulting in a virus-infected computer environment.
SIGUCCS 1989: 157-161 |
| 1986 |
|---|
| 2 | EE | A. Hartman,
W. H. Mills,
Ronald C. Mullin:
Covering triples by quadruples: An asymptotic solution.
J. Comb. Theory, Ser. A 41(1): 117-138 (1986) |
| 1982 |
|---|
| 1 | | A. Hartman:
A General Recursive Construction for Quadruple Systems.
J. Comb. Theory, Ser. A 33(2): 121-134 (1982) |
