Communications software reverse engineering: A semi-automatic approach

Information and Software Technology

Volumn 38, Issue 6, 1996, Pages 379-390

  Saleh, Kassem ^a   Boujarwah, Abdulazeez ^a  

^a KUWAIT UNIVERSITY   (Kuwait)

Author keywords

Communications software engineering; Estelle; Reverse engineering; Tools

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA COMMUNICATION EQUIPMENT; MAINTENANCE; PRODUCTIVITY; PROGRAM DOCUMENTATION; TELECOMMUNICATION SERVICES;

COMMUNICATIONS SOFTWARE; ESTELLE; REVERSE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 0030172312     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01061-0     Document Type: Article

References (24)

1. T. Biggerstaff, Design recovery for maintenance and reuse, IEEE Computer (July 1989) 36-49.
2. E. Chikofsky and J. Cross, Reverse engineering and design recovery: a taxonomy, IEEE Software (January 1990) 13-17.
3. G.v. Bochmann, Finite state description of communication protocols, Computer Networks, 2, no. 4/5 (September 1978) 361-372.
4. International Organization for Standardization - Programming Language - Pascal IS 7185.
5. T.F. Piatkowski, An engineering discipline for distributed protocol systems, in Proc. IFIP workshop on Protocol Testing, 1981, pp. 177-215.
6. FORTE, Proc. Int. Conf. on Formal Description Techniques, 1988-1996.
7. IWPTS Proc. Int. Workshop on Protocol Test Systems, 1988-1994.
8. PSTV, Proc. Int. Symp. on Protocol Specification, Testing and Verification 1980-1996.
9. G.v. Bochmann, Usage of protocol development tools: the results of a survey, in Proc. IFIP Int. Conf. on Protocol Specification, Testing and Verification VII, Zurich, North-Holland, Amsterdam, 1988.
10. M.T. Liu, Protocol engineering, Advances in Computers Vol 29 (1989) 79-195.
11. S. Paul, A. Prakash, E. Buss and J. Henshaw, Theories and techniques of program understanding, Proc. of IBM Center for Advanced Studies Conference CAS conf '91 (October 1991).
12. E. Buss and J. Henshaw, A software reverse engineering experience, in Proc. IBM Centre for Advanced Studies Conf. CAS conf '91, October 1991, pp. 55-72.
13. K. Gillis and D. Wright, Improving software maintenance using system-level reverse engineering, Proc. IEEE Conf. on Software Maintenance, 1990, pp. 84-90.
14. ISO - Information Processing Systems - Open Systems Interconnection: Estelle - a formal description technique based on an extended state transition model, IS 9074.
15. G.v. Bochmann, Specifications of a simplified transport protocol using different formal description techniques, Computer Networks and ISDN Systems, Vol 18, no. 5 (June 1990) 335-378.
16. A. Lombardo, On Estelle specification of OSI protocols, in Proc. Computer Networking Symp., Washington, DC (November 1986) pp. 110-119.
17. K. Saleh and H. Ural, Formal specification of an information gateway service interface in Estelle, Computer Standards and Interfaces, 16 (1994) 341-368.
18. S. Budkowski and P. Dembinski, An introduction to Estelle: a specification language for distributed systems, Computer Networks and ISDN Systems, 14 (1987) 13-23.
19. P. de Saqui-Sannes and J.P. Courtiat, From the simulation to the verification of Estelle specifications, in Proc. 2nd Int. Conf. on Formal Description Techniques, 1989, pp 524-541.
20. B. Pehrson, Protocol verification for OSI, Computer Networks and ISDN Systems (1989/90) 185-202.
21. P. Kritzinger and G. Wheeler, A protocol engineering work-bench applied to protocol performance analysis in Proc. 2nd Int. Conf. on Formal Description Techniques, 1989, pp. 63-76.
22. D. New and P. Amer, Adding graphics and animation to Estelle, in Proc. 9th IFIP Int. Symp. on Protocol Specification, Testing and Verification, 1989.
23. H. Ural, Test sequence selection based on static data flow analysis, Computer Comm., 10 (1987) 234-242.
24. C. Wang and M.T. Liu, Automatic test case generation for Estelle, in Proc. 1993 Int. Conf. on Network Protocols, October 1993, pp. 225-233.