An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol

Hardware Testing Using a Communication Protocol Conformance Testing Tool

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Testing Transition Systems: An Annotated Bibliography

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes

Test Generation Derived from Model-Checking

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Testing transition systems: an annotated bibliography

Modeling and verification of parallel processes

Verification of an Industrial CC-NUMA Server

ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference

Test purpose generation in an industrial application

Proceedings of the 3rd international workshop on Advances in model-based testing

Abstractions for Model-Based Testing

Electronic Notes in Theoretical Computer Science (ENTCS)

Rapid generation of functional tests using MSCs, SDL and TTCN

Computer Communications