Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
An EFSM-based test generation for validation of SDL specifications
Proceedings of the 3rd international workshop on Automation of software test
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
Hi-index | 0.00 |