Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Testing Enbredded Software
Conformance Testing of Protocol Machines without Reset
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
| Hi-index | 0.89 |