The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
A new method for constructing pair-wise covering designs for software testing
Information Processing Letters
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Rapid generation of functional tests using MSCs, SDL and TTCN
Computer Communications
| Hi-index | 0.00 |