The Evolving Role of Testing in Open Systems Standards. - James F. Leathrum; K. A. Liburdy (ITC, 1993)

Automated Testing of Open Software Standards. - James F. Leathrum; K. A. Liburdy (ITC, 1993)

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. - G. Deshmukh; R. Deshpande; James F. Leathrum; K. A. Liburdy (ICSE, 1994)

Automated testing of POSIX standards. - James F. Leathrum; K. A. Liburdy (ACM Stand., 1994)

The unsettled world of testing in open systems standards. - James F. Leathrum; K. A. Liburdy (ACM Stand., 1995)

A formal approach to requirements based testing in open systems standards. - James F. Leathrum; K. A. Liburdy (ICRE, 1996)

Issues in the Full Scale Use of Formal Methods for Automated Testing. - James L. Crowley; James F. Leathrum; K. A. Liburdy (ISSTA, 1996)