Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols
暂无分享,去创建一个
[1] Krishan K. Sabnani,et al. A Protocol Test Generation Procedure , 1988, Comput. Networks.
[2] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[3] Elaine J. Weyuker,et al. Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.
[4] Hasan Ural. Test sequence selection based on static data flow analysis , 1987, Comput. Commun..
[5] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[6] W. Y. L. Chan,et al. An improved protocol test generation procedure based on UIOS , 1989, SIGCOMM 1989.
[7] William E. Howden,et al. Functional Program Testing , 1978, IEEE Transactions on Software Engineering.
[8] William E. Howden,et al. Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.
[9] Deepinder P. Sidhu,et al. Experience with formal methods in protocol development , 1991, CCRV.
[10] Bo Yang,et al. A test sequence selection method for protocol testing , 1991, IEEE Trans. Commun..
[11] Sanjoy Paul,et al. Generating minimal length test sequences for conformance testing of communication protocols , 1991, IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings.
[12] Gregor von Bochmann,et al. A Test Design Methodology for Protocol Testing , 1987, IEEE Transactions on Software Engineering.