Generating Tests for Control Portion of SDL Specifications

Authors:
Gang Luo;Anindya Das;Gregor von Bochmann
Affiliations:
-;-;-
Venue:
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Year:
1993

On the Theory of Patching

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Optimizing the Length of Checking Sequences

IEEE Transactions on Computers
Conditions for avoiding controllability problems in distributed testing

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Eliminating redundant tests in a checking sequence

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
On FSM-Based fault diagnosis

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems

Hi-index	0.00