A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
A computational logic handbook
A computational logic handbook
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating Specification-Based Software Testing
Automating Specification-Based Software Testing
Testing Computer Software
Theories of Program Testing and the Application of Revealing Subdomains
IEEE Transactions on Software Engineering
Partition Analysis: A Method Combining Testing and Verification
IEEE Transactions on Software Engineering
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The MK++ kernel, a descendant of Mach, was designed and implemented at the Open Group Research Institute. Independently, Computational Logic had developed a formal specification for the Mach kernel interface. We report on the adaptation of this specification to MK++, and its use in the derivation of a testing strategy for the MK++ implementation. The results and utility of the tests are discussed.