Verification of recovered software architectures

Proceedings - IEEE Workshop on Program Comprehension

Volumn 2003-May, Issue , 2003, Pages 258-265

  Gannod, G C ^a   Murthy, S ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; REVERSE ENGINEERING; VERIFICATION;

FINITE-STATE MODELS; LIVENESS; LOG FILE; LOG-FILE ANALYSIS; SOFTWARE BEHAVIOR; SOFTWARE DEVELOPER;

MODEL CHECKING;

EID: 84978933460     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.2003.1199210     Document Type: Conference Paper

References (11)

1. Elliot J. Chikofsky and James H. Cross. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7(1):13-17, January 1990.
2. S. Mancoridis, B. Mitchell, Y. Chen, and E. Gansner. Bunch:a clustering tool for the recovery and maintenance of software system structures. In Proceedings of the 1999 International Conference on Software Maintenance. IEEE, August 1999.
3. Tarja Systa. On the Relationship between Static and Dynamic Models in Reverse Engineering Java Software. In Proc. of the 6th Working Conf. on Reverse Engineering (WCRE99), pages 304-313, 1999.
4. Kevin Templer and Clinton L. Jeffery. A Configurable Automatic Instrumentation Tool for ANSI C. In Proc. of the Automated Software Engineering Conference, 1998.
5. Roland T. Mittermeir and Heinz Pozewaunig. Self-descriptive Software Components. In Proc. of the 16th European Meeting on Cybernetics and Systems Research (EMCSR 2002), Austria, April 2002.
6. Gerard Holzmann. The Spin Model Checker. Transactions on Software Engineering, 23(5):279-295, May 1997.
7. James H. Andrews. Testing using Log File Analysis: Tools, Methods and Issues. In Proc. of 13th Annual International Conference on Automated Software Engineering (ASE'98), pages 157-166, Honolulu, Hawaii, October 1998.
8. The Java Platform Debugger Architecture(jpda). [Online Available] http://java.sun.com/products/jpda.
9. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in Property Specifications for Finite-State Verification. In Proceedings of the 21st Intl. Conf. on Software Engineering, 1999.
10. Jonathan E. Cook and Zhidian Du. Discovering Thread Interactions in a Concurrent System. In Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), pages 255-264, Richmond, Virginia, October 2002.
11. Gerard J. Holzmann and Margaret H. Smith. An Automated Verification Method for Distributed Systems Software Based on Model Extraction. Transactions on Software Engineering, 28(4):364-377, April 2002.