K. A. Liburdy

According to our database, K. A. Liburdy authored at least 7 papers between 1993 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

Issues in the Full Scale Use of Formal Methods for Automated Testing.

James L. Crowley, James F. Leathrum, K. A. Liburdy

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A formal approach to requirements based testing in open systems standards.

James F. Leathrum, K. A. Liburdy

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

The unsettled world of testing in open systems standards.

James F. Leathrum, K. A. Liburdy

ACM Stand., 1995

1994

Automated testing of POSIX standards.

James F. Leathrum, K. A. Liburdy

ACM Stand., 1994

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report.

G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Automated Testing of Open Software Standards.

James F. Leathrum, K. A. Liburdy

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

The Evolving Role of Testing in Open Systems Standards.

James F. Leathrum, K. A. Liburdy

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993