The role of testing methodologies in open systems standards: a POSIX experience report

Authors:
G. Deshmukh;R. Deshpande;J. Leathrum;K. Liburdy
Affiliations:
Software Standwds and Technology Laboratory, Clemson University, Clemson, SC;Software Standards and Technology Laboratory, Clemson University, Clemson, SC;Software Standards and Technology Laboratory, Clemson University, Clemson, SC;Software Standards and Technology Laboratory, Clemson University, Clemson, SC
Venue:
ICSE '94 Proceedings of the 16th international conference on Software engineering
Year:
1994

Muse A Computer Assisted Verification System

IEEE Transactions on Software Engineering - Special issue on computer security and privacy
A New Security Testing Method and Its Application to the Secure Xenix Kernel

IEEE Transactions on Software Engineering - Special issue on computer security and privacy
A Test Design Methodology for Protocol Testing

IEEE Transactions on Software Engineering
Mockingbird: a logical methodology for testing

Journal of Logic Programming - Logic programming applications
Automated Module Testing in Prolog

IEEE Transactions on Software Engineering
IEEE's Posix: making progress

IEEE Spectrum
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
UNIX, POSIX, and Open Systems: The Open Standards Puzzle

UNIX, POSIX, and Open Systems: The Open Standards Puzzle
MAP 2.1 Conformance Testing Tools

IEEE Transactions on Software Engineering

Hi-index	0.00