Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Analytic methods in coverage testing of communications software
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Formal methods: Importance, experience, and comparative analysis
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
QE modeling and test selection based on PNFSM
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Specification and verification of applications based on function blocks
Component-Based Software Development for Embedded Systems
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
| Hi-index | 0.24 |