Assessing software reliability performance under highly critical but infrequent event occurrences.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997
Validating software architectures for high reliability.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996
Automatic test-generation and test-verification of digital systems.
Proceedings of the 11th Design Automation Workshop, 1974