 | 1996 |
|---|
| 9 |       | Paul S. Miner,
James F. Leathrum:
Verification of IEEE Compliant Subtractive Division Algorithms.
FMCAD 1996: 64-78 |
| 8 |  | James F. Leathrum,
K. A. Liburdy:
A formal approach to requirements based testing in open systems standards.
ICRE 1996: 94-101 |
| 7 | | James L. Crowley,
James F. Leathrum,
K. A. Liburdy:
Issues in the Full Scale Use of Formal Methods for Automated Testing.
ISSTA 1996: 71-78 |
| 1994 |
|---|
| 6 | | G. Deshmukh,
R. Deshpande,
James F. Leathrum,
K. A. Liburdy:
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report.
ICSE 1994: 233-240 |
| 1993 |
|---|
| 5 | | James F. Leathrum,
K. A. Liburdy:
The Evolving Role of Testing in Open Systems Standards.
ITC 1993: 273-274 |
| 4 | | James F. Leathrum,
K. A. Liburdy:
Automated Testing of Open Software Standards.
ITC 1993: 854-858 |
| 1985 |
|---|
| 3 | | Geoffrey George,
James F. Leathrum:
Orthogonality of Concerns in Module Closure.
Softw., Pract. Exper. 15(2): 119-130 (1985) |
| 1982 |
|---|
| 2 | | Richard M. Weatherly Jr.,
James F. Leathrum:
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles.
Operating Systems Review 16(1): 10-13 (1982) |
| 1 | | James F. Leathrum:
A Design Medium for Software.
Softw., Pract. Exper. 12(6): 497-503 (1982) |
