Formal test specifications in IEEE POSIX

Quarterman, 1993 IEEE, 1991, standard for Test Methods for Measuring Conformance to POSIX, IEEE Std. 2003 Gray, 1994, Testers Open Dialogue at Inaugural NIST Workshop Isaak, 1993, Formal Specifications & Automatic Test Generation: A Potential Paradigm Shift in POSIX, Automated Testing in Open Systems, Vol. 1 Leathrum, 1994, The Role of Testing Methodologies in Open Systems Standards Leathrum, 1994, Automated Testing and the IEEE POSIX Effort, Vol. 8 Leathrum, 1994, Automated Testing of POSIX standards, 10.1145/224145.224154 Greene, 1994, Personal Correspondence Sankar, 1994, Specifying and Testing Software Components using ADL, Technical Report, SMLI-TR-23 1994 1994 Nestor, 1990 Goos, 1981