Static analysis of programs with graphical user interface

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2007, Pages 252-261

  Staiger, Stefan ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW ANALYSIS; SOURCE CODE;

GRAPHICAL USER INTERFACES; SOFTWARE ARCHITECTURE; STATIC ANALYSIS;

COMPUTER PROGRAMMING;

EID: 34547661781     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2007.44     Document Type: Conference Paper

References (23)

1. The Bauhaus project. see www.bauhaus-stuttgart.de.
2. GTK+ - The GIMP Toolkit, see www.gtk.org.
3. MFC - Microsoft Foundation Classes. see http://msdn.microsoft.com/ library/default.asp?url=/library/enus/vcmfc98/html/mfchm.asp.
4. The Qt class library for C++. see www.trolltech.com.
5. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, 1994.
6. th International Conference on Software Maintenance, pages 76 - 85, 1995.
7. T. Cetin. Statische Analyse von GUI-Programmen (in german). Student project, Institute of Software Technology, University of Stuttgart, 2006.
8. th International Conference on Software Engineering (ICSE), pages 114 - 124, 2003.
9. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems 13, pages 451-490, 1991.
10. M. Das. Unification-based Pointer Analysis with Directional Assignments. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 35-46, 2000.
11. T. Eisenbarth, R. Koschke, and G. Vogel. Static Object Trace Extraction for Programs with Pointers. Journal of Systems and Software 77 (3), pages 263 - 284, 2005.
12. th Working Conference on Reverse Engineering (WCRE), pages 241 - 250, 1998.
13. S.-W. Liao. SUIF Explorer: An Interactive and Interprocedural Parallelizer. PhD thesis, Stanford University, 2000.
14. A. Memon. A Comprehensive Framework for Testing Graphical User Interfaces. PhD thesis, University of Pittsburgh, 2001.
15. th International Conference on Software Maintenance (ICSM), pages 410-419, 2003.
16. th Working Conference on Reverse Engineering (WCRE), pages 260 - 269, 2003.
17. st Working Conference on Reverse Engineering (WCRE), pages 171 - 179, 1993.
18. th International Conference on Software Engineering (ICSE), pages 327 - 337, 2002.
19. A. Raza, G. Vogel, and E. Ploedereder. Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. In Reliable Software Technologies, Ada Europe 2006 (LNCS 4006), pages 71 -82, 2006.
20. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32 -41, 1996.
21. E. Stroulia, M. El-Ramly, P. Iglinski, and P. Sorenson. User Interface Reverse Engineering in Support of Interface Migration to the Web. Automated Software Engineering 10 (3), pages 271-301, 2003.
22. R. E. Tarjan. Depth-First Search and Linear Graph Algorithms. SIAM Journal of Computing 1 (2), pages 146 - 160, 1972.
23. th Working Conference on Reverse Engineering (WCRE), pages 56 - 63, 1999.