Extending test sequence overlap by invertibility

Computer Journal

Volumn 39, Issue 4, 1996, Pages

  Hierons, R M ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0007392739     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.4.325     Document Type: Article

References (16)

1. Wordsworth, J. B. (1987) Formal Methods in the Development of CICS, Computer Bulletin, 3, part 4, 6-8.
2. Aho, A. V., Dahbura, A. T., Lee, D. and Uyar, M. U. (1988) An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. Proceedings of Protocol Specification, Testing, and Verification VHL Atlantic City NJ. North-Holland Publishers, pp. 75-86.
3. Chanson, S. T., Lee, B. P., Parakh, N. J. and Zeng, H. X. (1990) Design and Implementation of a Ferry Clip Test System. Proceedings of Protocol Specification, Testing, and Verification IX. Twente, Netherlands, September 24-27 North Holland, Netherlands, pp. 101-118.
4. Moore, E. P. (1956) Gedanken-Experiments, In Shannon, C. and Carthy, J. M. (eds), Automata Studies. Princeton University Press, Princeton, NJ, pp. 129-153.
5. Rabin, M. O. and Scott, D. (1959) Finite Automata and Their Decision Problems, IBM J. Res. Dev., 3(2), 114-125.
6. Kohavi, Z. (1970) Switching and Finite State Automate Theory. McGraw-Hill, UK.
7. Gibbons, A. (1985) Algorithmic Graph Theory. Cambridge University Press, Cambridge.
8. Sidhu, D. P. and Leung, T. K. (1989) Formal Methods in Protocol Testing: A Detailed Study. IEEE Trans. Software Engng, 15(4), 413-426.
9. Shen, X., Scoggins, S. and Tang, A. (1991) An Improved RCP-Method for Protocol Test Generation Using Backward UIO Sequences. Proceedings of the ACM Symposium on Applied Computing, Kansas City, KS, pp. 284-193.
10. Hennie, F. C. (1964) Fault Detecting Experiments for Sequential Circuits in Proceedings of The 5th Annual Symposium on Switching Circuit Theory and Logical Design. Princeton, NJ, pp. 95-110.
11. Chow, T. S. (1978) Testing Software Design Modelled by Finite State Machines. IEEE Trans. Software Engng, 4, 178-187.
12. Shen, Y. N. Lombardi, F. and Dahbura, A. T. (1990) Protocol Conformance Testing Using Multiple UIO Sequences. Proceedings of Protocol Specification, Testing, and Verification IX. Twente, Netherlands, September 24-27. North Holland, Netherlands, pp. 131-143.
13. Hierons, R. M. (1993) Using Formal Specifications to Enhance The Software Testing Process. Ph.D. Thesis, Brunei University, UK.
14. Yang, B. and Ural, H. (1990) Protocol Conformance Test Generation Using Multiple UIO Sequences with Overlapping. ACM SIGCOMM 90: Communications, Architectures, and Protocols Twente, Netherlands, September 24-27. North Holland, Netherlands, pp. 118-125.
15. Edmonds, J. and Johnson, E. L. (1973) Matchings, Euler Tours, and the Chinese Postman Problem. Mathematical Programming, 5, 88-124.
16. Edmonds, J. and Karp, R. M. (1972) Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems. Journal of the ACM, 19(2), 248-264.