Why Source Code Analysis and Manipulation will always be important

Proceedings - 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010

Volumn , Issue , 2010, Pages 7-19

  Harman, Mark ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GOVERNMENTAL PROCESS; SOURCE CODE ANALYSIS; SOURCE CODES;

EID: 78649441128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2010.28     Document Type: Conference Paper

References (91)

1. K. Androutsopoulos, D. Clark, M. Harman, Z. Li, and L. Tratt, "Control dependence for extended finite state machines," in Fundamental Approaches to Software Engineering (FASE '09), vol. 5503. York, UK: Springer LNCS, Mar. 2009, pp. 216-230.
2. D. C. Atkinson and W. G. Griswold, "Implementation techniques for efficient data-flow analysis of large programs," in IEEE International Conference on Software Maintenance (ICSM'01). Los Alamitos, California, USA: IEEE Computer Society Press, Nov. 2001, pp. 52-61.
3. R. J. C. Atkinson, Stonehenge. Penguin Books, 1956.
4. th IEEE International Working Conference on Source Code Analysis and Manipulation. Paris, France: IEEE Computer Society, 2007, pp. 180- 192.
5. nd IEEE International Workshop on Source Code Analysis and Manipulation. Montreal, Canada: IEEE Computer Society, 2002, pp. 145-154.
6. A. Baresel, D. W. Binkley, M. Harman, and B. Korel, "Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach," in International Symposium on Software Testing and Analysis (ISSTA 2004), Jul. 2004, pp. 108-118.
7. A. Beszédes and T. Gyimóthy, "Union slices for the approximation of the precise slice," in IEEE International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, Oct. 2002, pp. 12-20.
8. th International Workshop on Source Code Analysis and Manipulation (SCAM 04). Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2004, pp. 43-52.
9. D. Binkley, M. Ceccato, M. Harman, F. Ricca, and P. Tonella, "Toolsupported refactoring of existing object-oriented code into aspects," IEEE Transactions on Software Engineering, vol. 32, no. 9, pp. 698-717, 2006.
10. th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08), L'Aquila, Italy, September 2008, pp. 25-34.
11. th IEEE International Workshop on Source Code Analysis and Manipulation. Los Alamitos, California, USA: IEEE Computer Society Press, 2005, pp. 15-24.
12. st IEEE International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, 2005, pp. 177-186.
13. D. W. Binkley, N. Gold, and M. Harman, "An empirical study of static program slice size," ACM Transactions on Software Engineering and Methodology, vol. 16, no. 2, pp. 1-32, 2007.
14. th IEEE International Conference and Software Engineering (ICSE 2003). Los Alamitos, California, USA: IEEE Computer Society Press, May 2003, pp. 330-339.
15. --, "A large-scale empirical study of forward and backward static slice size and context sensitivity," in IEEE International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2003, pp. 44-53.
16. --, "Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms," in IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2003, pp. 203-212.
17. --, "Analysis and visualization of predicate dependence on formal parameters and global variables," IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 715-735, 2004.
18. D. W. Binkley, M. Harman, and J. Krinke, "Empirical study of optimization techniques for massive slicing," ACM Transactions on Programming Languages and Systems, vol. 30, pp. 3:1-3:33, 2007.
19. th IEEE International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, Jun. 2000, pp. 161-170.
20. th IEEE International Workshop on Source Code Analysis and Manipulation. Philadelphia, USA: IEEE Computer Society Press, Sep. 2006, pp. 149-158.
21. th IEEE International Workshop on Source Code Analysis and Manipulation. Chicago, IL, USA: IEEE Computer Society Press, Sep. 2004, pp. 36-145.
22. th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009), Z. Shao and B. C. Pierce, Eds. Savannah, GA, USA: ACM, 2009, pp. 289-300.
23. G. Canfora, A. Cimitile, and A. De Lucia, "Conditioned program slicing," Information and Software Technology Special Issue on Program Slicing, vol. 40, no. 11 and 12, pp. 595-607, 1998.
24. G. Canfora, A. Cimitile, A. De Lucia, and G. A. D. Lucca, "Software salvaging based on conditions," in International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 1994, pp. 424-433.
25. th IEEE International Workshop on Program Comprenhesion (IWPC'97). Los Alamitos, California, USA: IEEE Computer Society Press, May 1997.
26. C. Cifuentes and A. Fraboulet, "Intraprocedural static slicing of binary executables," in IEEE International Conference on Software Maintenance (ICSM'97). Los Alamitos, California, USA: IEEE Computer Society Press, 1997, pp. 188-195.
27. J. R. Cordy, "The TXL source transformation language," Science of Computer Programming, vol. 61, no. 3, pp. 190-210, 2006.
28. th Principles Of Programming Languages (POPL 1977), Los Angeles, CA, Jan. 1977, pp. 238-252.
29. --, "Abstract interpretation frameworks," Journal of Logic and Computation, vol. 2, no. 4, pp. 511-547, Aug. 1992.
30. J. Darlington and R. M. Burstall, "A system which automatically improves programs," Acta Informatica, vol. 6, pp. 41-60, 1976.
31. E. W. Dijkstra, A discipline of programming. Prentice Hall, 1972.
32. T. Eisenbarth, R. Koschke, and D. Simon, "Locating features in source code," IEEE Transactions on Software Engineering, vol. 29, no. 3, 2003, special issue on ICSM 2001.
33. T. Eisenbarth, R. Koschke, and G. Vogel, "Static trace extraction," in IEEE Working Conference on Reverse Engineering. Los Alamitos, California, USA: IEEE Computer Society Press, Oct. 2002, pp. 128-137.
34. R. Ettinger and M. Verbaere, "Untangling: a slice extraction refactoring," in AOSD '04: Proceedings of the 3rd international conference on Aspectoriented software development. New York, NY, USA: ACM Press, 2004, pp. 93-101.
35. th IEEE International Workshop on Source Code Analysis and Manipulation. Budapest, hungary: IEEE Computer Society, 2005, pp. 66-74.
36. R. Giacobazzi and I. Mastroeni, "Non-standard semantics for program slicing," Higher-Order and Symbolic Computation, vol. 16, no. 4, pp. 297-339, 2003, special issue on Partial Evalution and Semantics-Based Program Manipulation.
37. D. G. Gibson, J. I. Glass, C. Lartigue, V. N. Noskov, R.-Y. Chuang, M. A. Algire, G. A. Benders, M. G. Montague, L. Ma, M. M. Moodie, C. Merryman, S. Vashee, R. Krishnakumar, N. Assad-Garcia, C. Andrews-Pfannkoch, E. A. Denisova, L. Young, Z.-Q. Qi, T. H. Segall-Shapiro, C. H. Calvey, P. P. Parmar, C. A. H. III, H. O. Smith, and J. C. Venter, "Creation of a bacterial cell controlled by a chemically synthesized genome," Science, 2010.
38. th IEEE International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, May 2001, pp. 135-144.
39. Grammatech Inc., "The codesurfer slicing system," 2002. [Online]. Available: www.grammatech.com
40. W. G. Griswold and D. Notkin, "Automated assistence for program restructuring," Department of Computer Science and Engineering, University of California, Sand Diego, Technical Report CS92-221, Jan. 1993.
41. M. Harman, "Open problems in testability transformation (keynote)," in 1st International Workshop on Search Based Testing (SBT 2008), Lillehammer, Norway, 2008.
42. M. Harman, D. Binkley, K. Gallagher, N. Gold, and J. Krinke, "Dependence clusters in source code," ACM Transactions on Programming Languages and Systems, vol. 32, no. 1, Oct. 2009, article 1.
43. M. Harman, D. W. Binkley, and S. Danicic, "Amorphous program slicing," Journal of Systems and Software, vol. 68, no. 1, pp. 45-64, Oct. 2003.
44. M. Harman, N. Gold, R. M. Hierons, and D. W. Binkley, "Code extraction algorithms which unify slicing and concept assignment," in IEEE Working Conference on Reverse Engineering (WCRE 2002). Los Alamitos, California, USA: IEEE Computer Society Press, Oct. 2002, pp. 11-21.
45. M. Harman, L. Hu, R. M. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper, "Testability transformation," IEEE Transactions on Software Engineering, vol. 30, no. 1, pp. 3-16, Jan. 2004.
46. M. Harman and B. F. Jones, "Search based software engineering," Information and Software Technology, vol. 43, no. 14, pp. 833-839, Dec. 2001.
47. th annual conference on Genetic and evolutionary computation. London, UK: ACM Press, Jul. 2007, pp. 1106-1113.
48. C. A. R. Hoare, "How did software get so reliable without proof?" in IEEE International Conference on Software Engineering (ICSE'96). Los Alamitos, California, USA: IEEE Computer Society Press, 1996, keynote talk.
49. C. A. R. Hoare and N. Wirth, "An axiomatic definition of the programming language Pascal," Acta Informatica, vol. 2, no. 4, pp. 335-355, Dec. 1973.
50. S. Horwitz, T. Reps, and D. W. Binkley, "Interprocedural slicing using dependence graphs," ACM Transactions on Programming Languages and Systems, vol. 12, no. 1, pp. 26-61, 1990.
51. A. Huxley, Brave New World. London, United Kingdom: Chatto and Windus, 1932.
52. G. Ifrah, The Universal History of Computing: From the Abacus to the Quantum Computer. New York: John Wiley and Sons, 2001.
53. Y. Jia and M. Harman, "Constructing subtle faults using higher order mutation testing," in 8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08). Beijing, China: IEEE Computer Society, 2008, pp. 249-258.
54. C. B. Jones, Systematic Software Development Using VDM, 2nd ed. Prentice Hall, 1990.
55. S. Jones and B. Crowe, Transformation not automation: The egovernment challenge. London: Demos, 2001.
56. F. Kafka, The Trial. New York, NY, USA: Schloken Books, 1925.
57. st IEEE International Conference on Software Maintenance. IEEE Computer Society Press, 2005, pp. 635-638.
58. B. Korel and J. Laski, "Dynamic program slicing," Information Processing Letters, vol. 29, no. 3, pp. 155-163, Oct. 1988.
59. th IEEE International Workshop on Program Comprenhesion (IWPC'97). Los Alamitos, California, USA: IEEE Computer Society Press, May 1997, pp. 80-89.
60. J. Kort and R. Lämmel, "Parse-tree annotations meet re-engineering concerns," in Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation. Amsterdam, Netherlands: IEEE Computer Society, 2003, pp. 161-170.
61. J. Krinke, "Evaluating context-sensitive slicing and chopping," in IEEE International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, Oct. 2002, pp. 22-31.
62. A. Lakhotia and J.-C. Deprez, "Restructuring programs by tucking statements into functions," Information and Software Technology Special Issue on Program Slicing, vol. 40, no. 11 and 12, pp. 677-689, 1998.
63. M. M. Lehman, "On understanding laws, evolution and conservation in the large program life cycle," Journal of Systems and Software, vol. 1(3), pp. 213-221, 1980.
64. --, "Software's future: Managing evolution," IEEE Software, vol. 15, no. 1, pp. 40-44, Jan. / Feb. 1998.
65. M. Mahoney, "The history of computing in the history of technology," Annals of the History of Computing, vol. 10, no. 2, pp. 113-125, 1988.
66. th IEEE International Workshop on Program Comprehension (IWPC'05). IEEE Computer Society Press, 2005, pp. 33-42.
67. P. Martin Löf, "Constructive mathematics and computer programming," in Mathematical Logic and Computer Programming, C. A. R. Hoare and J. C. Shepherdson, Eds. Prentice-Hall, 1984, pp. 167-184.
68. K. Maruyama, "Automated method-extraction refactoring by using block-based slicing," in SSR '01: Proceedings of the 2001 symposium on Software reusability. New York, NY, USA: ACM Press, 2001, pp. 31-40.
69. P. McMinn, "Search-based failure discovery using testability transformations to generate pseudo-oracles," in Genetic and Evolutionary Computation Conference (GECCO 2009), F. Rothlauf, Ed. Montreal, Québec, Canada: ACM, 2009, pp. 1689-1696.
70. th IEEE Working Conference on Reverse Engineering. Los Alamitos, California, USA: IEEE Computer Society Press, Nov. 2004, pp. 256-266.
71. R. S. Newall, "Stonehenge: A review," Antiquity, vol. 30, no. 119, 1956.
72. th IEEE International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, May 2001, pp. 39-49.
73. G. Orwell, Nineteen Eighty-four. Penguin, 1949.
74. th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97), Zurich, Switzerland, 1997, pp. 432-449, lecture Notes in Computer Science, Volume 1301.
75. M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory, "The British Nationality Act as a logic program," Communications of the ACM, vol. 29, no. 5, pp. 370-386, 1986.
76. th IEEE Workshop on Program Comprehension (WPC '96). Berlin, Germany: IEEE Computer Society, 1996, p. 240==247.
77. J. M. Spivey, The Z Notation: A Reference Manual. Prentice Hall, 1989.
78. th IEEE International Working Conference on Source Code Analysis and Manipulation. Timisoara, Romania: IEEE Computer Society, 2010, p. To appear (in this volume).
79. th IEEE International Working Conference on Source Code Analysis and Manipulation. Edmonton, Canada: IEEE Computer Society, 2009, pp. 67-76.
80. A. M. Turing, "Checking a large routine," in Report of a Conference on High Speed Automatic Calculating Machines. Cambridge, England: University Mathematical Laboratory, Jun. 1949, pp. 67-69.
81. E. Union, "The Maastrict Treaty," 1992, available on line at http://eurlex.europa.eu/en/treaties/.
82. A. van Deursen and T. Kuipers, "Identifying objects using cluster and concept analysis," Centrum voor Wiskunde en Informatica (CWI), Tech. Rep. SEN-R9814, Sep. 1998. [Online]. Available: ftp://ftp.cwi.nl/pub/CWIreports/ SEN/SEN-R9814.ps.Z
83. G. A. Venkatesh, "The semantic approach to program slicing," in ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, Jun. 1991, pp. 26-28.
84. proceedings in SIGPLAN Notices, 26(6), pp.107-119, 1991.
85. M. Ward, "Assembler to C migration using the FermaT transformation system," in IEEE International Conference on Software Maintenance (ICSM'99). Los Alamitos, California, USA: IEEE Computer Society Press, Aug. 1999.
86. st IEEE International Workshop on Source Code Analysis and Manipulation. Los Alamitos, California, USA: IEEE Computer Society Press, 2001, pp. 185-193.
87. M. P. Ward and H. Zedan, "Deriving a slicing algorithm via FermaT transformations," IEEE Transactions on Software Engineering, p. to appear, 2010.
88. st IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2001). Florence, Italy: IEEE Computer Society, 2001, pp. 3-13.
89. M. Weiser, "Program slicing," IEEE Transactions on Software Engineering, vol. 10, no. 4, pp. 352-357, 1984.
90. D.Wincott, "Federalism and the european union: The scope and limits of the treaty of Maastricht," international Political Science Review, vol. 17, no. 4, pp. 403-415, 1996. (Pubitemid 126174819)
91. th International Conference on Computer Aided Verification (CAV 2008), ser. Lecture Notes in Computer Science, A. Gupta and S. Malik, Eds., vol. 5123. Princeton, NJ, USA: Springer, 2008, pp. 385-398.